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
Jump to: 2009 | 2006
Number of items: 2.

2009

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

2006

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 Tue Sep 22 00:08:38 2020 CEST.