Technische Universität Braunschweig
Institute für Informatik
Einladung zum
Informatik-Kolloquium
Prof. Dr. Jos Baeten und Prof. Dr. ir. J.E. Rooda:
Syntax and semantics of a hybrid process algebra / Model-based engineering of embedded systems
| Redner Info | Eindhoven University of Technology |
| Beginn | 06.06.2007, 16:45 Uhr |
| Ort | TU Braunschweig, Langer Kamp 19 b (Altbau), Raum LK 19 b1 |
| Eingeladen durch | Prof. Dr. Ursula Goltz |
| 1. Syntax and semantics of a hybrid process algebra
An overview will be given of the research of the Formal Methods group of the division of Computer Science of TU/e. Then, the focus will turn to the development of the language Chi, The talk will discuss the design of the hybrid process algebra Chi, and design choices that were made.
2. Model-based engineering of embedded systems
An overview will be given of the research of the Systems Engineering group of the Department of Mechanical Engineering of TU/e. Then the focus will turn to the use of the language Chi in the model-based engineering of embedded systems. |
Die Dozenten der Informatik
