Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung

Frese, UdoHausmann, DanielLüth, ChristophTäubig, HolgerWalter, DennisMaalej, WalidBrügge, Bernd2020-01-292020-01-292008978-3-88579-216-1https://dl.gi.de/handle/20.500.12116/31547deZertifizierung einer Sicherungskomponente mittels durchgängig formaler ModellierungText/Conference Paper1617-5468