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

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Howar, Falk, Barnat, Jiří
Format:	Buch
Sprache:	eng
Schlagworte:	Computer programming, programs, data Formal methods (Computer science)-Congresses Software engineering-Congresses
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!