Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes
| full text: |
|
| 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 |
E-Mail senden