Dejan Nickovic

No bio available. Add one in Open Library.

Books by Dejan Nickovic (50 max)

+ shelf+ list

Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings

2012

Marcin Jurdzinski, Dejan Nickovic

+ shelf+ list

Contracts for System Design

2018

Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet