Require, test, and trace IT

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

Research output: Contribution to journalArticleResearchpeer-review

Projects

Finished

CRYSTAL - Critical Systems Engineering Factories

Lorber, F. L. & Aichernig, B.

1/05/1330/04/16

Project: Research project

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

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

1/11/1131/10/14

Project: Research project