Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Formal Methods for Industrial Critical Systems. 23rd International Conference, FMICS 2018

Maynooth, Ireland, September 3-4, 2018, Proceedings
 
: Howar, Falk; Barnat, Jiri

Cham: Springer International Publishing, 2018, XVI, 290 S S.
Lecture Notes in Computer Science, 11119
International Conference on Formal Methods for Industrial Critical Systems (FMICS) <23, 2018, Maynooth>
International Conference on integrated Formal Methods (iFM) <14, 2018, Maynooth>
ISBN: 978-3-030-00243-5 (Print)
ISBN: 978-3-030-00244-2 (Online)
ISBN: 978-3-030-00245-9
Englisch
Tagungsband
Fraunhofer ISST ()

: http://publica.fraunhofer.de/dokumente/H-72084.html