How to Choose Proper Integrity Properties

Tobias Rauter, Andrea Höller, Johannes Iber, Christian Josef Kreiner

Institute of Technical Informatics (4480)

Research output: Contribution to conference › Paper › peer-review

1 Finished
1 Active

2 results

Active
Industrial Informatics
Macher, G., Dobaj, J., Krug, T., Blažević, R. & Veledar, O.
1/09/12 → …
Project: Research area
Finished
AH-HyUnify - control platform for hydro-electric power generation
Kreiner, C. J., Rauter, T., Hölbling, A. & Iber, J.
1/11/14 → 31/10/17
Project: Research project