Hierarchical specification of reactive system using state diagram matrix

Tomohiro Murata, Kenzou Kurihara, Ayako Ashida

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint Dive into the research topics of 'Hierarchical specification of reactive system using state diagram matrix'. Together they form a unique fingerprint.

Engineering & Materials Science