SucheFormale Methoden und Sicherheitsanalyse
A. Thums, F. Ortmeier
Formale Methoden und Sicherheitsanalyse
2002-15
erschienen 2002
in: Augsburg
Technical Report, University Augsburg, Institut fuer Informatik
Downloads:
- download pdf version - (2002-formal-methods-SA-pdf.pdf, 336 KB)
- download postscript version - (2002-formal-methods-SA-ps.ps, 321 KB)