Fingerprint
Dive into the research topics of '(de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
(de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems
Lisa Willemsen, Anne Remke, Erika Ábrahám
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review