Fingerprint Dive into the research topics of 'Hierarchical specification of reactive system using state diagram matrix'. Together they form a unique fingerprint.
- Sort by
- Weight
- Alphabetically
Hierarchical specification of reactive system using state diagram matrix
Tomohiro Murata, Kenzou Kurihara, Ayako Ashida
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution