Tretmans, Jan books & textbook
Quantitative Model-Based Analysis of Real-Time Embedded Systems: The Quasimodo Project
Kim G. Larsen Jan Tretmans Brian Nielsen
Springer /2015-01-29 Hardcover / 260 Pages
isbn-10: 9400713681 / isbn-13: 9789400713680
Testing of Software and Communicating Systems: 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, ... (Lecture Notes in Computer Science, 4581)
Veanes, Margus Tretmans, Jan Grieskamp, Wolfgang
Springer /2007-06-12 Paperback / 400 Pages
isbn-10: 3540730656 / isbn-13: 9783540730651
Situation Awareness with Systems of Systems
van de Laar, Piërre Tretmans, Jan Borth, Michael
Springer /2015-03-06 Paperback / 284 Pages
isbn-10: 1489989277 / isbn-13: 9781489989277
