
Lectures on Runtime Verification
Introductory and Advanced Topics
Synopsis
Om den här boken
- Språk:English
- ISBN:9783319756325
- Utgivningsdatum:10 feb. 2018
- Utgivare:Springer International Publishing
- Impressum:Springer
- Filformat:EPUB2
- Filstorlek:2.58 MB
- Nedladdningsalternativ:EPUB2 (Adobe DRM)
I denna serie
From Reactive Systems to Cyber-Physical Systems
Ezio Bartocci,Rance Cleaveland,Radu Grosu,Oleg Sokolsky





















































