Login / Signup
Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung.
Udo Frese
Daniel Hausmann
Christoph Lüth
Holger Täubig
Dennis Walter
Published in:
Software Engineering (Workshops) (2008)
Keyphrases
</>