Search: (more)
Header

Prof.Dr.rer.nat. Klaus Schneider

email
schneider (at) cs.uni-kl.de
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 systems
HW/SW codesign
publications
all | authored | edited/supervised | talks