Hoppa till sidans huvudinnehåll

Dejan Ničković – författare

Visar alla böcker från författaren .
3 produkter
Maurice H. ter Beek, Dejan Ničković - Formal Methods for Industrial Critical Systems, Häftad
Del 12327 - Lecture Notes in Computer Science

Formal Methods for Industrial Critical Systems

25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings

AvMaurice H. ter Beek,Dejan Ničković

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Jyotirmoy Deshmukh, Dejan Ničković - Runtime Verification, Häftad
Del 12399 - Lecture Notes in Computer Science

Runtime Verification

20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

AvJyotirmoy Deshmukh,Dejan Ničković

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Marcin Jurdzinski, Dejan Nickovic - Formal Modeling and Analysis of Timed Systems, Häftad

Formal Modeling and Analysis of Timed Systems

10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings

AvMarcin Jurdzinski,Dejan Nickovic

Häftad, Engelska, 2012

669 kr

Skickas inom 10-15 vardagar