[IEEE 2011 7th International Conference on Intelligent Environments (IE) - Nottingham, United Kingdom (2011.07.25-2011.07.28)] 2011 Seventh International Conference on Intelligent Environments - Formal Verification of Device State Chart Models
Corno, Fulvio, Sanaullah, MuhammadYear:
2011
Language:
english
DOI:
10.1109/ie.2011.36
File:
PDF, 685 KB
english, 2011