Zurück zur Übersicht

Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes

full text: PDF
author/s: Jörg Fischer, Stefan Conrad
type:Inproceedings
editor:W. Grieskamp and T. Santen and B. Stoddart
booktitle:Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, November 2000
series:Lecture Notes in Computer Science, Vol. 1945
publisher:Springer-Verlag
pages:45--60
month:December
year:2000

Heinrich Heine Universität

Datenbanken und Informationssysteme

Lehrstuhlinhaber

Prof. Dr. Stefan Conrad


Universitätsstr. 1
40225 Düsseldorf
Gebäude: 25.12
Etage/Raum: 02.24
Tel.: +49 211 81-14088

Sekretariat

Lisa Lorenz



Universitätsstr. 1
40225 Düsseldorf
Gebäude: 25.12
Etage/Raum: 02.22
Tel.: +49 211 81-11312
Verantwortlich für den Inhalt:  E-Mail senden Datenbanken & Informationssysteme