Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Cyrille Artho, Peter Csaba Ölveczky, 978-3-030-12987-3, 978-3-030-12988-0