Article
Publicly Available
Frontmatter
Published/Copyright:
October 22, 2021
Published Online: 2021-10-22
Published in Print: 2021-11-25
© 2021 Walter de Gruyter GmbH, Berlin/Boston
Articles in the same Issue
- Frontmatter
- Editorial
- System correctness under adverse conditions
- Regular Papers
- Proving properties of autonomous car manoeuvres in urban traffic
- Bayesian hybrid automata: Reconciling formal methods with metrology
- Functional verification of cyber-physical systems containing machine-learnt components
- A sampling-based approach for handling delays in continuous and hybrid systems
- Abstraction NBTI model
- Infinite-state graph transformation systems under adverse conditions
- Exploiting symmetries of high-level Petri games in distributed synthesis
Articles in the same Issue
- Frontmatter
- Editorial
- System correctness under adverse conditions
- Regular Papers
- Proving properties of autonomous car manoeuvres in urban traffic
- Bayesian hybrid automata: Reconciling formal methods with metrology
- Functional verification of cyber-physical systems containing machine-learnt components
- A sampling-based approach for handling delays in continuous and hybrid systems
- Abstraction NBTI model
- Infinite-state graph transformation systems under adverse conditions
- Exploiting symmetries of high-level Petri games in distributed synthesis
