![](/img/cover-not-exists.png)
[ACM Press the 2nd FME Workshop - Hyderabad, India (2014.06.03-2014.06.03)] Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering - FormaliSE 2014 - Formalization of software models for cyber-physical systems
Neema, Sandeep, Simko, Gabor, Levendovszky, Tihamer, Porter, Joseph, Agrawal, Akshay, Sztipanovits, JanosYear:
2014
Language:
english
DOI:
10.1145/2593489.2593495
File:
PDF, 1007 KB
english, 2014