W-method for Hierarchical and Communicating Finite State Machines.

Details

Language :

English

ISBNs :

9781424408511

Database :

Complementary Index

Journal :

2007 5th IEEE International Conference on Industrial Informatics

Publication Type :

Conference

Accession number :

81719378

Full Text :

https://doi.org/10.1109/INDIN.2007.4384891