Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10475125
The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations.
|Autor:||Bill Roscoe, Erik de Vink, Jan Peleska, Klaus Havelund|