Fingerprint Dive into the research topics of 'Model checking safety-critical systems using safecharts'. Together they form a unique fingerprint.
- Sort by
- Weight
- Alphabetically
Model checking safety-critical systems using safecharts
Pao Ann Hsiung, Yean Ru Chen, Yen Hung Lin
Research output: Contribution to journal › Article › peer-review
22
Citations
(Scopus)