Fingerprint
Dive into the research topics of 'A hierarchical verification procedure of timed Petri-Net model for real-time embedded systems'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A hierarchical verification procedure of timed Petri-Net model for real-time embedded systems
Hanbo Wang, Xingshe Zhou, Yunwei Dong, Lei Tang
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review