Search results for: Andreas Hölzer
Formal Methods in System Design > 2017 > 51 > 2 > 308-331
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > New Challenges in the Development of Critical Embedded Systems – An “aeromotive” Perspective > 33-46
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 151-166
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Testing: Theory and New Trends > 278-293
Lecture Notes in Computer Science > Computer Aided Systems Theory – EUROCAST 2007 > Applied Formal Verification > 497-504
Lecture Notes in Computer Science > Computer Aided Verification > Session 5: Tools – Dynamic Verification > 209-213
Theoretical Computer Science > 2015 > 605 > C > 62-79
Journal of Biotechnology > 2015 > 210 > C > 59-65
Computer Methods and Programs in Biomedicine > 2013 > 110 > 1 > 82-88
Journal of Biomechanics > 2012 > 45 > 3 > 602-604
Journal of Orthopaedic Research® > 30 > 3 > 429 - 434
International Orthopaedics > 2012 > 36 > 11 > 2197-2203
Journal of Biomechanics > 2010 > 43 > 6 > 1125-1130
Computers and Fluids > 2009 > 38 > 3 > 572-589
Energy Policy > 2008 > 36 > 8 > 2930-2938
Powder Technology > 2008 > 184 > 3 > 361-365