Auteur: Cyrille Artho

Ondersteuning

5 Ebooks door Cyrille Artho

Cyrille Artho & Peter Ölveczky: Formal Techniques for Safety-Critical Systems
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised f …
PDF
Engels
€59.49
Cyrille Artho & Peter Csaba Olveczky: Formal Techniques for Safety-Critical Systems
This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018.The 10 re …
EPUB
Engels
DRM
€57.99
Cyrille Artho & Peter Csaba Olveczky: Formal Techniques for Safety-Critical Systems
This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with a …
PDF
Engels
DRM
€57.59
Cyrille Artho & Axel Legay: Automated Technology for Verification and Analysis
This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016.The 31 papers present …
PDF
Engels
DRM
€57.77
Cyrille Artho & Peter Csaba Olveczky: Formal Techniques for Safety-Critical Systems
This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.The 9 revised ful …
EPUB
Engels
DRM
€57.61