Fingerprint
Dive into the research topics of 'Model-based system analysis using Chi and UPPAAL : an industrial case study'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Model-based system analysis using Chi and UPPAAL : an industrial case study
N.C.W.M. Braspenning, E.M. Bortnik, J.M. Mortel - Fronczak, van de, J.E. Rooda
Research output: Book/Report › Report › Academic
229
Downloads
(Pure)