Search results for: Daniela Cruz
Biotechnology and Bioengineering > 118 > 8 > 3128 - 3137
Biomedical Microdevices > 2017 > 19 > 1 > 1-13
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Formal Languages and Methods for Designing and Verifying Complex Embedded Systems > 106-120
Advanced Materials > 27 > 32 > 4725 - 4731
Toxicology Letters > 2012 > 215 > 2 > 110-118
Formal Aspects of Computing > 2012 > 24 > 2 > 217-248
2011 IEEE International Ultrasonics Symposium > 234 - 237