Fingerprint
Dive into the research topics of 'Analyzing industrial architectural models by simulation and model-checking'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Analyzing industrial architectural models by simulation and model-checking
Raluca Marinescu*, Henrik Kaijser, Marius Mikučionis, Cristina Seceleanu, Henrik Lönn, Alexandre David
*Corresponding author for this work
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
17
Citations
(Scopus)