Thomas Lindner
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Known people with the same name:
- Thomas Lindner 001 (Forschungszentrum Informatik, Karlsruhe, Germany)
- Thomas Lindner 002 (University medical center Schleswig-Holstein, Kiel, Germany)
- Thomas Lindner 003 (Friedrich-Alexander Universität Erlangen-Nürnberg, Germany)
- Thomas Lindner 004 (Chemnitz University of Technology, Germany)
Bibliography
2005
2004
Proceedings of the Building The E-Service Society: E-Commerce, 2004
2003
Proceedings of the Security, 2003
2000
1995
Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995
Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995
Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995
Using FOCUS, LUSTRE, and Probability Theory for the Design of a Reliable Control Program.
Proceedings of the Formal Methods for Industrial Applications, 1995
1994
Case Study Production Cell.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994