Umfang:
Online-Ressource
Anmerkung:
In: Formal Methods for Industrial Critical Systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / Howar, Falk; Barnat, Jiří (Hrsg.)
,
Cham : Springer, 2018
,
(Lecture Notes in Computer Science ; 11119)
,
S. 35-51
,
ISSN 0302-9743
,
eISSN 1611-3349
,
ISBN 978-3-030-00243-5
,
In: 23rd International Conference, FMICS 2018, 3. Sep 2018 - 4. Sep 2018, Maynooth, Ireland
Sprache:
Englisch
URN:
urn:nbn:de:bsz:352-2-1a3dufmu3aia68
URL:
https://nbn-resolving.org/urn:nbn:de:bsz:352-2-1a3dufmu3aia68
Bookmarklink