SucheIntegration formaler Spezifikation und Sicherheitsanalyse
Wolfgang Reif, Gerhard Schellhorn, Andreas Thums
Integration formaler Spezifikation und Sicherheitsanalyse
2001-06
erschienen 2001
in: Germany
Technical report 2001-6, Institut für Informatik, Universität Augsburg
Downloads:
- download pdf version - (2001-integration-formal-SA-pdf.pdf, 300 KB)
- download postscript version - (2001-integration-formal-SA-ps.ps, 260 KB)