Dejan Ničković

Dejan Ničković

Books

Co-authored books and collections

Books that list Dejan Ničković among their authors but not as the lead author: co-written works, collections and compilations.

Runtime VerificationJyotirmoy Deshmukh

Runtime Verification

Jyotirmoy Deshmukh · 2020

Formal Methods for Industrial Critical SystemsMaurice H. ter Beek

Formal Methods for Industrial Critical Systems

Maurice H. ter Beek · 2020