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

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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: 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
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link

Παρόμοια τεκμήρια