C2E2: A Verification Tool for Stateflow Models.

Authors :: Duggirala, Parasara Sridhar
Mitra, Sayan
Viswanathan, Mahesh
Potok, Matthew
Source :: Tools & Algorithms for the Construction & Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory & Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings; 2015, p68-82, 15p
Publication Year :: 2015

Language :: English
ISBNs :: 9783662466803
Database :: Complementary Index
Journal :: Tools & Algorithms for the Construction & Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory & Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Publication Type :: Book
Accession number :: 102868424
Full Text :: https://doi.org/10.1007/978-3-662-46681-0_5