- www.mars-workshop.org
- 2
- 5
Modelling techniques, aiming at the accurate description of systems and their relevant properties, are typically developed with formal analysis and formal verification in mind. To show that a developed approach actually scales to real systems, large..
Relevance: 23.371738