Zwischenbericht zu dem Projekt Vermeil: Verfahren und Methoden zur wissensbasierten Entwicklung zuverlässiger Leitsysteme
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Algorithmen und Kognitive Systeme (IAKS) |
| Publikationstyp | Forschungsbericht/Preprint |
| Publikationsjahr | 1997 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 344797 |
| Erscheinungsvermerk | 1997. |