Require, Test and Trace IT

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationFormal Methods for Industrial Critical Systems
Place of PublicationCham
PublisherSpringer
Pages113-127
ISBN (Print)978-3-319-19457-8
DOIs
Publication statusPublished - 2015
EventInternational Workshop on Formal Methods for Industrial Critical Systems - Oslo, Norway
Duration: 22 Jun 201523 Jun 2015

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume9128

Conference

ConferenceInternational Workshop on Formal Methods for Industrial Critical Systems
CountryNorway
CityOslo
Period22/06/1523/06/15

Fields of Expertise

  • Information, Communication & Computing

Cite this