![](/img/cover-not-exists.png)
[IEEE 2013 International Conference on Embedded Software (EMSOFT) - Montreal, QC, Canada (2013.09.29-2013.10.4)] 2013 Proceedings of the International Conference on Embedded Software (EMSOFT) - Verification of annotated models from executions
Duggirala, Parasara Sridhar, Mitra, Sayan, Viswanathan, MaheshYear:
2013
Language:
english
DOI:
10.1109/EMSOFT.2013.6658604
File:
PDF, 577 KB
english, 2013