Cyrille Artho – författare
Visar alla böcker från författaren Cyrille Artho. Handla med fri frakt och snabb leverans.
6 produkter
6 produkter
Del 1008 - Communications in Computer and Information Science
Formal Techniques for Safety-Critical Systems
6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Häftad, Engelska, 2019
561 kr
Skickas inom 10-15 vardagar
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 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions.
Del 419 - Communications in Computer and Information Science
Formal Techniques for Safety-Critical Systems
Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
Häftad, Engelska, 2014
561 kr
Skickas inom 10-15 vardagar
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 an invited talk were carefully reviewed and selected from 32 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.
Del 476 - Communications in Computer and Information Science
Formal Techniques for Safety-Critical Systems
Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
Häftad, Engelska, 2015
561 kr
Skickas inom 10-15 vardagar
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 full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.
Del 596 - Communications in Computer and Information Science
Formal Techniques for Safety-Critical Systems
4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
Häftad, Engelska, 2016
561 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015.The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway systems; fault tolerance; automotive systems; software and systems analysis; tools.
Del 9938 - Lecture Notes in Computer Science
Automated Technology for Verification and Analysis
14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Häftad, Engelska, 2016
561 kr
Skickas inom 10-15 vardagar
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 presented in this volume were carefully reviewed and selected from 82 submissions. Markov models, chains, and decision processes;
Del 694 - Communications in Computer and Information Science
Formal Techniques for Safety-Critical Systems
5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Häftad, Engelska, 2017
561 kr
Skickas inom 10-15 vardagar
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 full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification.