Blättern nach Person
 | Ebene hoch |
Anzahl der Einträge: 2.
Buch
Schickel, Martin (2009)
Applications of property-based synthesis in formal verification.
Buch, Bibliographie
Konferenzveröffentlichung
Schickel, Martin ; Nimbler, Volker ; Braun, Martin ; Eveking, Hans (2006)
On Consistency and Completeness of Property-Sets : Exploiting the Property-Based Design-Process.
Ninth International Forum on Specification and Design Languages (FDL 2006). Darmstadt (19.09.2006-22.09.2006)
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum