Thomas Neustupny

According to our database, Thomas Neustupny authored at least 2 papers between 1997 and 1998.

Collaborative distances:

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

1998

Tutorium: Entwicklung sicherheitskritischer eingebetteter Systeme: Der ESPRESS-Ansatz.

Maritta Heisel, Rainer Mackenthun, Thomas Neustupny, Sadegh Sadeghipour, Matthias Weber

Proceedings of the Informatik '98, 1998

1997

Automating Test Case Generation from Z Specifications with Isabelle.

Steffen Helke, Thomas Neustupny, Thomas Santen

Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997