Mark-Oliver Stehr
|
|
|
|
 |
-
- Cette page n'est plus réactualisée.
- Bureau:
- C-217
- Téléphone:
- 040 / 42883-2245
- Télécopie:
- 040 / 42883-2246
- E-Mail:
- stehr@informatik.uni-hamburg.de
- Position:
- ancien chercheur associé
- Ci-devant:
- International Fellow at
SRI International,
Computer Science Laboratory,
Menlo Park, California, USA
- Visiting Scholar at Stanford University, Computer Science Department, Stanford, California, USA
- Visiting Scholar at Stanford University, Computer Science Department, Stanford, California, USA
- Projets actuels:
-
(seulement en Allemand)
- Modelling And Analysis Of Time Constrained And Hierarchical Systems (MATCH)
- (see also here)
- Séminaires et cours
- Assertional Reasoning and Temporal Logic for System Verification (MATCH Advanced Summer School, Jaca, Spain, September 98)
- Manifestations scientifiques
- PNSE'97 - Petri Nets in System Engineering
- VCL'2002 - Verification and Computational Logic
- Bibliographie
