english
|
Home
|
Impressum
|
Datenschutz
|
KIT
Institut für Technik der Informationsverarbeitung (ITIV)
suchen:
Start
Institut
Mitarbeiter
Alumni
Ehemalige Doktoranden
Ehemalige Diplomanden/ Bachelor-/ Master-Studenten
Ehemalige Mitarbeiter
Ehemalige Institutsleiter
Forschung
Studium und Lehre
Jobs
Bildergalerien
Dr.-Ing. Manfred Nolle
1986
Eine Beschreibungssprache zum strukturierten Entwurf von komplexen digitalen Steuerwerken mit Nachweis der Lebendigkeit
Gruppe:
Prof. Dr.-Ing. Dr.-Ing. h.c. Dr. h.c. Hans Martin Lipp
...