![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Computational Science and Its Applications – ICCSA 2013 Volume 7971 || Formal Verification of Cyber-Physical Systems: Coping with Continuous Elements
Murgante, Beniamino, Misra, Sanjay, Carlini, Maurizio, Torre, Carmelo M., Nguyen, Hong-Quang, Taniar, David, Apduhan, Bernady O., Gervasi, OsvaldoVolume:
10.1007/97
Year:
2013
Language:
english
DOI:
10.1007/978-3-642-39637-3_29
File:
PDF, 238 KB
english, 2013