Spar
Formal Techniques for Safety-Critical Systems
This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019.
The 6 revised full papers presented were carefully reviewed and selected from 17 submissions.
The 6 revised full papers presented were carefully reviewed and selected from 17 submissions.
- Undertittel
- 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
- Redaktør
- Osman Hasan, Frédéric Mallet
- Opplag
- 2020 ed.
- ISBN
- 9783030469016
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 26.4.2020
- Antall sider
- 141
