Treffer: Automated generation of finite state machine from object-oriented formal specifications
Title:
Automated generation of finite state machine from object-oriented formal specifications
Authors:
Source:
2010 6th International Conference on Emerging Technologies (ICET) Emerging Technologies (ICET), 2010 6th International Conference on. :304-309 Oct, 2010
Relation:
2010 International Conference on Emerging Technologies (ICET)
Database:
IEEE Xplore Digital Library