Jörg Fischer

According to our database, Jörg Fischer authored at least 2 papers between 2000 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2001

Kausale Abhängigkeiten als Mittel der Spezifikation von Schnittstellen-Protokollen.

Jörg Fischer

PhD thesis, 2001

2000

Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes.

Jörg Fischer, Stefan Conrad

Proceedings of the Integrated Formal Methods, Second International Conference, 2000