Publikation
Die Synthese von "Property Specification Language" (PSL) Assertions
Outline:
H. Obereder, M. Pfaff, C. Saminger - Die Synthese von "Property Specification Language" (PSL) Assertions - Forschungsforum der österreichischen Fachhochschulen, Puch, Österreich, 2007
2007
Personen:
- FH-Prof. DI Dr. Markus Pfaff
- DI(FH) Christian Saminger
- Dipl.-Ing. (FH) Harlald Obereder
