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 contributionResearchpeer-review

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

Aichernig, B., Hörmaier, K., Lorber, F. L., Nickovic, D., & Tiran, S. (2015). Require, Test and Trace IT. In Formal Methods for Industrial Critical Systems (pp. 113-127). (Lecture Notes in Computer Science; Vol. 9128). Cham: Springer. https://doi.org/10.1007/978-3-319-19458-5_8