TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 2.


Schickel, Martin (2009):
Applications of property-based synthesis in formal verification.
Berlin, dissertation.de, ISBN 978-3-86624-464-1,

Conference or Workshop Item

Schickel, Martin and Nimbler, Volker and Braun, Martin and Eveking, Hans (2006):
On Consistency and Completeness of Property-Sets : Exploiting the Property-Based Design-Process.
In: Forum on Design Languages <Darmstadt,2006>, [Conference or Workshop Item]

This list was generated on Fri Sep 25 17:45:24 2020 CEST.