Travelled to:1 × Denmark
1 × USA
Collaborated with:U.Goltz M.Huhn K.Diethers T.Gehrke
Talks about:structur (1) properti (1) abstract (1) softwar (1) sequenc (1) diagram (1) control (1) analysi (1) depend (1) verif (1)
Person: Thomas Firley
DBLP: Firley:Thomas
Contributed to:
2002
1999Wrote 2 papers:
- FME-2002-FirleyG #abstraction #verification
- Property Dependent Abstraction of Control Structure for Software Verification (TF, UG), pp. 511–530.
- UML-1999-FirleyHDGG #analysis #case study #diagrams #sequence chart
- Timed Sequence Diagrams and Tool-Based Analysis — A Case Study (TF, MH, KD, TG, UG), pp. 645–660.