Wyniki wyszukiwania dla: Bernd Westphal
Journal of Cardiac Surgery > 35 > 12 > 3266 - 3275
Heart, Lung and Circulation > 2017 > 26 > 12 > 1330-1338
Biomaterials > 2017 > 135 > C > 74-84
BMC Cardiovascular Disorders > 2017 > 17 > 1 > 1-9
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Requirements and Design > 230-246
Lecture Notes in Computer Science > Program Analysis and Compilation, Theory and Practice > Technical Papers > 225-246
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 35-50
Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in Engineering > Part IV: Charts > 322-324
Lecture Notes in Computer Science > Applications of Graph Transformations with Industrial Relevance > Model Driven Software Development Applications > 361-376
Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in Engineering > Part V: Verification > 494-516
Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in Engineering > Part IV: Charts > 374-399
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Session 3 > 182-198
Lecture Notes in Computer Science > Computer Aided Verification > Session 8. Property Specification and Verification > 219-233
Finanzmarktakteure und Corporate Social Responsibility > Praxisbeispiele – Strategien von Wirtschafts- und Finanzmarktakteuren > 252-258
Formal Aspects of Computing > 2016 > 28 > 3 > 499-527