Prof.Dr. Klaus Schneider

email
E-Mail
phone
+49 631 205 2886
fax
+49 631 205 4409
address
P.O. Box 3049 67653 Kaiserslautern Germany
building/room
48/476
research interests
model-based design of embedded systems formal verification of reactive/hybrid systems HW/SW codesign of embedded systems
publications
all \| authored \| edited/supervised \| talks

Fachbereich Informatik