Search results for: Manfred Broy
Software & Systems Modeling > 2019 > 18 > 5 > 2777-2786
Formal Methods in System Design > 2018 > 52 > 1 > 33-87
Software & Systems Modeling > 2018 > 17 > 2 > 365-393
Informatik-Spektrum > 2017 > 40 > 2 > 201-204
Journal of Systems and Software > 2016 > 121 > C > 49-71
Lecture Notes in Computer Science > CAAP'83 > 1-34
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Invited Talks > 1-13
Lecture Notes in Computer Science > Requirements Targeting Software and Systems Engineering > Foundations of Software Engineering > 43-68
acatech DISKUTIERT > Cyber-Physical Systems > 13-15
Informatik-Spektrum > 2016 > 39 > 6 > 436-443
Lecture Notes in Computer Science > Computer and Information Sciences – ISCIS 2006 > Invited Papers and Talks > 24-34
Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in Engineering > Part I: Reference Case Study Production Automation > 29-47