Nickovic, Dejan books & textbook
Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings (Programming and Software Engineering)
Deshmukh, Jyotirmoy Ničković, Dejan
Springer /2020-10-08 Paperback / 560 Pages
isbn-10: 3030605078 / isbn-13: 9783030605070
Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings (Theoretical Computer Science and General Issues)
Jurdzinski, Marcin Nickovic, Dejan
Springer /2012-08-17 Paperback / 277 Pages
isbn-10: 3642333648 / isbn-13: 9783642333644
Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings (Programming and Software Engineering)
ter Beek, Maurice H. Ničković, Dejan
Springer /2020-08-29 Paperback / 316 Pages
isbn-10: 3030582973 / isbn-13: 9783030582975
Contracts for System Design (Foundations and Trends(r) in Electronic Design Automation)
Benveniste, Albert Caillaud, Benoît Nickovic, Dejan Passerone, Roberto Raclet, Jean-Baptiste Reinkemeier, Philipp Sangiovanni-Vincentelli, Alberto Damm, Werner Henzinger, Thomas A Larsen, Kim G
Now Publishers /2018-03-28 Paperback / 296 Pages
isbn-10: 1680834029 / isbn-13: 9781680834024
