Thomas Neustupny

Publication Activity (10 Years)

Years Active: 1997-1998
Publications (10 Years): 0

Publications

Maritta Heisel, Rainer Mackenthun, Thomas Neustupny, Sadegh Sadeghipour, Matthias Weber
Tutorium: Entwicklung sicherheitskritischer eingebetteter Systeme: Der ESPRESS-Ansatz. GI Jahrestagung (1998)
Steffen Helke, Thomas Neustupny, Thomas Santen
Automating Test Case Generation from Z Specifications with Isabelle. ZUM (1997)