Require, Test and Trace IT

Bernhard Aichernig, Klaus Hörmaier, Florian Lukas Lorber, Dejan Nickovic, Stefan Tiran

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Originalspracheenglisch
TitelFormal Methods for Industrial Critical Systems
ErscheinungsortCham
Herausgeber (Verlag)Springer
Seiten113-127
ISBN (Print)978-3-319-19457-8
DOIs
PublikationsstatusVeröffentlicht - 2015
VeranstaltungInternational Workshop on Formal Methods for Industrial Critical Systems - Oslo, Norwegen
Dauer: 22 Jun 201523 Jun 2015

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer
Band9128

Konferenz

KonferenzInternational Workshop on Formal Methods for Industrial Critical Systems
Land/GebietNorwegen
OrtOslo
Zeitraum22/06/1523/06/15

Fields of Expertise

  • Information, Communication & Computing

Dieses zitieren