Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
- Author
- Cyrille Artho, Peter Csaba Ölveczky
- Publisher
- Springer International Publishing
- Language
- English
- Edition
- 1st ed.
- Year
- 2019
- Page
- XII, 179
- ISBN
- 978-3-030-12987-3,978-3-030-12988-0
- File Type
- pdf
- File Size
- 7.1 MiB
How to Download?!!!
Just click on START button on Telegram Bot