Formal Veriﬁcation of Device State Chart Models
- 1,300 views
Presentation slides for the paper ...
Presentation slides for the paper
"Formal Veriﬁcation of Device State Chart Models" by Fulvio Corno, Muhammad Sanaullah at the 7th International Conference on Intelligent Environments, Nottingham, UK, 2011
- Total Views
- Views on SlideShare
- Embed Views