Thomas Firley

Publication Activity (10 Years)

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

University of Braunschweig - Institute of Technology (PHD)

Education History

University of Braunschweig - Institute of Technology

PHD

Publications

Thomas Firley, Ursula Goltz
Property Dependent Abstraction of Control Structure for Software Verification. FME (2002)
Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz
Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. UML (1999)
Thomas Gehrke, Thomas Firley
Generative Sequence Diagrams with Textual Annotations. FBT (1999)
Thomas Firley, Thomas Gehrke, Arend Rensink
Spezifikation eines RPC-Speichers mit der Sprache ProFun. FBT (1998)