Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus
Formale Methoden und Deduktion |
|
Martin Kronenburg: Teaching Related Activities |
| Lectures: | 1997/98: | Specification Of Reactive Systems |
| 1998: | Verification Of Reactive Systems | |
| 2000: | Foundations Of Programming | |
| Seminars: | 1995/96: | Description Techniques For Reactive Systems |
| 1996/97: | Verification Techniques For Reactive Systems | |
| 1998/99: | Process Algebras | |
| 1999: | Hybrid Automata | |
| Proseminars: | 1997/98: | Petri-Nets |
| 1999/2000: | Logic |
| Impressum | AG Formale Methoden und Deduktion | Fachbereich Informatik | Technische Universität Kaiserslautern |
|