3 หนังสืออิเล็กทรอนิกส์โดย Dejan Nickovic
Marcin Jurdzinski & Dejan Nickovic: Formal Modeling and Analysis of Timed Systems
This book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in London, UK in September 2012. The 16 revise …
PDF
อังกฤษ
DRM
€51.72
Maurice H. ter Beek & Dejan Nickovic: Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was p …
EPUB
อังกฤษ
DRM
€57.64
Jyotirmoy Deshmukh & Dejan Nickovic: Runtime Verification
This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually …
EPUB
อังกฤษ
DRM
€57.64