Deutsch
Open Access
Home
Search
Browse
Publish
FAQ
Schließen
Faculty/Chair
Fakultät 1 MINT - Mathematik, Informatik, Physik,...
FG Datenstrukturen und Softwarezuverlässigkeit
Refine
Author
Mertke, Thomas (3)
(remove)
Year of publication
2004
(1)
2001
(2)
Document Type
Scientific journal article not peer-reviewed
(1)
Conference Proceeding
(1)
Doctoral thesis
(1)
Language
German
(2)
English
(1)
Institute
FG Datenstrukturen und Softwarezuverlässigkeit
(3)
BTU
an der BTU erstellt / created at BTU
(1)
3
search hits
1
to
3
Export
BibTeX
CSV
RIS
XML
100
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
A Safety-Oriented Technical Language for the Requirement Specification in Control Engineering (Eine Sicherheitsfachsprache zur Formulierung steuerungstechnischer Anforderungen); in German
(2001)
Heiner, Monika
;
Mertke, Thomas
;
Deussen, Peter H.
Eine anwenderorientierte Sicherheitsfachsprache zur Verifikation von Steuerungsprogrammen
(2001)
Mertke, Thomas
;
Deussen, Peter H.
;
Heiner, Monika
Formale Spezifikation reaktiver Systeme mit einer Sicherheitsfachsprache
(2004)
Mertke, Thomas
1
to
3
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu.
Unsere Datenschutzerklärung finden Sie hier.