TU Darmstadt / ULB / TUbiblio

On Consistency and Completeness of Property-Sets : Exploiting the Property-Based Design-Process

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

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2006
Autor(en): Schickel, Martin ; Nimbler, Volker ; Braun, Martin ; Eveking, Hans
Art des Eintrags: Bibliographie
Titel: On Consistency and Completeness of Property-Sets : Exploiting the Property-Based Design-Process
Sprache: Englisch
Publikationsjahr: 2006
Ort: Darmstadt
Buchtitel: Ninth International Forum on Specification and Design Languages : Darmstadt University, Germany, September 19 - 22, 2006 ; an ECSI event ; [proceedings]
Veranstaltungstitel: Ninth International Forum on Specification and Design Languages (FDL 2006)
Veranstaltungsort: Darmstadt
Veranstaltungsdatum: 19.09.2006-22.09.2006
Zugehörige Links:
Fachbereich(e)/-gebiet(e): 18 Fachbereich Elektrotechnik und Informationstechnik
Hinterlegungsdatum: 20 Nov 2008 08:25
Letzte Änderung: 29 Nov 2024 13:32
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen