Fingerprint
Dive into the research topics of 'Requirements-level semantics and model checking of object-oriented statecharts'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Requirements-level semantics and model checking of object-oriented statecharts
H. Eshuis, D.N. Jansen, R.J. Wieringa
Research output: Contribution to journal › Article › Academic › peer-review
28
Citations
(Scopus)