Search results for: Bernhard Schätz
Science of Computer Programming > 2018 > 154 > C > 89-133
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Formal Methods Tools > 48-62
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Testing and Validation > 86-104
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 > 3-3
Lecture Notes in Computer Science > Model-Based Engineering of Embedded Real-Time Systems > Foundation > 3-15
Lecture Notes in Computer Science > FME'96: Industrial Benefit and Advances in Formal Methods > 248-267
Lecture Notes in Computer Science > Models in Software Engineering > Non-Functional System Properties in Domain Specific Modeling Languages (NFPin DSML) > 227-228
IFIP — The International Federation for Information Processing > IT Innovation for Adaptability and Competitiveness > New Environments, New Innovation Practices > 383-403
Lecture Notes in Computer Science > FME '97: Industrial Applications and Strengthened Foundations of Formal Methods > 122-141
Lecture Notes in Computer Science > Models in Software Engineering > Workshop — MoDSE-MCCM > 186-189
Lecture Notes in Computer Science > FM’99 — Formal Methods > Integration of Notation and Techniques > 1206-1225
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 467-470
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Models for Embedded Systems > 258-272