M. Broy
M. Broy
1949
8 books in the database
Books
Software pioneersM. Broy
Software pioneers
M. Broy · 2002
Software system reliability and securityM. Broy
Software system reliability and security
M. Broy · 2007
Model-based testing of reactive systemsM. Broy
Model-based testing of reactive systems
M. Broy · 2005
Formal systems specificationM. Broy
Formal systems specification
M. Broy · 1996
KORSOM. Broy
KORSO
M. Broy · 1995
Methods of programmingM. Broy
Methods of programming
M. Broy · 1991
Software and systems safetyM. Broy
Software and systems safety
M. Broy · 2011
Calculational system designM. Broy
Calculational system design
M. Broy
Co-authored books and collections
Books that list M. Broy among their authors but not as the lead author: co-written works, collections and compilations.
Perspectives of system informaticsD. Bjørner
Perspectives of system informatics
D. Bjørner · 2000
Formal methods in programming and their applicationsD. Bjørner
Formal methods in programming and their applications
D. Bjørner · 1993
Informatikforschung in DeutschlandRoland Vollmar
Informatikforschung in Deutschland
Roland Vollmar · 2008