English
Anmelden
Open Access
Startseite
Suchen
Browsen
Veröffentlichen
FAQ
Autor(en)
Alle Wörter
Mindestens ein Wort
Keines der Wörter
Titel
Alle Wörter
Mindestens ein Wort
Keines der Wörter
Weitere Person(en)
Alle Wörter
Mindestens ein Wort
Keines der Wörter
Gutachter
Alle Wörter
Mindestens ein Wort
Keines der Wörter
Zusammenfassung
Alle Wörter
Mindestens ein Wort
Keines der Wörter
Volltext
Alle Wörter
Keines der Wörter
Filtern
Erscheinungsjahr
2008 (2)
(entfernen)
Schlagworte
Embedded Systems
(2)
Embedded Model Checking
(1)
2
Treffer
1
bis
2
Export
BibTeX
CSV
RIS
XML
10
10
20
50
100
Sortieren nach
Jahr
Jahr
Titel
Titel
Autor
Autor
hallenges in Embedded Model Checking - A Simulator for the [mc]square Model Checker
(2008)
Reinbacher, Thomas
;
Kramer, Michael
;
Horauer, Martin
;
Schlich, Bastian
Motivating Model Checking of Embedded Systems Software
(2008)
Reinbacher, Thomas
;
Kramer, Michael
;
Horauer, Martin
;
Schlich, Bastian
1
bis
2