Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Howar, Falk (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Barnat, Jiří (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Σειρά: Programming and Software Engineering ; 11119
• Θέματα: Programming languages (Electronic computers).; Software engineering.; Computers.; Computer simulation.; Computer organization.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Theory of Computation.; Simulation and Modeling.; The Computing Profession.; Computer Systems Organization and Communication Networks.

This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018. The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. The book als...