Increasing robustness and usability of circuit design tools by using formal techniques

Fey, Görschwin

Textdokument

Increasing robustness and usability of circuit design tools by using formal techniques

Dateien

gi-diss-007-003.pdf (1.35 MB)

Datum

2007

Autor:innen

Fey, Görschwin

Quelle

Ausgezeichnete Informatikdissertationen 2006

Verlag

Gesellschaft für Informatik

Fey, Görschwin (2007): Increasing robustness and usability of circuit design tools by using formal techniques. Ausgezeichnete Informatikdissertationen 2006. Bonn: Gesellschaft für Informatik. PISSN: 1617-5468. ISBN: 978-3-88579-411-0. pp. 29-38

Sammlungen

D07 (2006) - Ausgezeichnete Informatikdissertationen

Komplettanzeige

Increasing robustness and usability of circuit design tools by using formal techniques

Volltext URI

Dokumententyp

Dateien

Zusatzinformation

Datum

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Verlag

Zusammenfassung

Beschreibung

Schlagwörter

Zitierform

DOI

Tags

Sammlungen