A Safety-Oriented Technical Language for the Requirement Specification in Control Engineering (Eine Sicherheitsfachsprache zur Formulierung steuerungstechnischer Anforderungen); in German
Verfasserangaben: | Monika HeinerORCiD, Thomas Mertke, Peter H. Deussen |
---|---|
Dokumentart: | Wissenschaftlicher Zeitschriftenartikel nicht referiert |
Sprache: | Englisch |
Erscheinungsjahr: | 2001 |
Quelle aus UBICO: | Computer Science Reports 09/01, BTU Cottbus, Mai 2001, 65 p., ISSN 1437-7969 |
Fakultät / Fachgebiet: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenstrukturen und Softwarezuverlässigkeit |
Name der Einrichtung zum Zeitpunkt der Publikation: | Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Informatik / Datenstrukturen und Softwarezuverlässigkeit |