Thomas Lindner

Affiliations:
  • Forschungszentrum Informatik, Karlsruhe, Germany


According to our database1, Thomas Lindner authored at least 6 papers between 1995 and 1999.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1999
Formale Methoden zur Konstruktion eingebetteter Software.
PhD thesis, 1999

1997
FAMOOS Workshop on Object-Oriented Software Evolution and Re-engineering - Introduction.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

1995
On Object-Oriented Design and Verification.
Proceedings of the KORSO, 1995

Comparative Survey.
Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995

Introduction.
Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995

"Production Cell": A Comparative Study in Formal Specification and Verification.
Proceedings of the KORSO, 1995


  Loading...