
Lectures on Runtime Verification
Introductory and Advanced Topics
Résumé
À propos de ce livre
- Langue :English
- ISBN :9783319756325
- Date de parution :11 févr. 2018
- Éditeur :Springer International Publishing
- Marque éditoriale :Springer
- Format de fichier :EPUB2
- Taille de fichier :2.58 MB
- Options de téléchargement :EPUB2 (Adobe DRM)
In this series
From Reactive Systems to Cyber-Physical Systems
Ezio Bartocci,Rance Cleaveland,Radu Grosu,Oleg Sokolsky





















































