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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Artho, Cyrille (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Ölveczky, Peter Csaba (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Σειρά: Communications in Computer and Information Science, 1008
• Θέματα: Computer logic.; Software engineering.; Programming languages (Electronic computers).; Computer simulation.; Mathematical logic.; Algorithms.; Logics and Meanings of Programs.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Simulation and Modeling.; Mathematical Logic and Formal Languages.; Algorithm Analysis and Problem Complexity.

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...