Final published version
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review
Publication date | 2/02/2019 |
---|---|
Host publication | Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers |
Editors | Cyrille Artho, Peter Csaba Ölveczky |
Place of Publication | Cham |
Publisher | Springer |
Pages | 18-36 |
Number of pages | 19 |
ISBN (electronic) | 9783030129880 |
ISBN (print) | 9783030129873 |
<mark>Original language</mark> | English |
Name | Communications in Computer and Information Science |
---|---|
Publisher | Springer |
Volume | 1008 |