Require, test, and trace IT

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

Research output: Contribution to journalArticleResearchpeer-review

Original languageEnglish
JournalInternational journal on software tools for technology transfer
Early online date29 Nov 2016
Publication statusE-pub ahead of print - 29 Nov 2016

Fields of Expertise

  • Information, Communication & Computing


CRYSTAL - Critical Systems Engineering Factories

Lorber, F. L. & Aichernig, B.


Project: Research project

EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems

Lorber, F. L., Tiran, S. & Aichernig, B.


Project: Research project

Cite this