|
|
The Embedded Systems Group is a research division of the Department of Computer Science at the University of Kaiserslautern. Our research interests include models of computation for reactive systems, formal verification, controller synthesis and execution time analysis.
Please explore this web site to obtain more information about our offerings for students, the details of our research, our publications, the people behind our group, and how to contact us. Inquiries for further information and comments on our web pages are welcome.
|