English
Anmelden
Open Access
Startseite
Suchen
Browsen
Veröffentlichen
FAQ
Forschungsschwerpunkt
Embedded Systems & Cyber-Physical Systems
Filtern
Schlagworte
Static Analysis (1)
(entfernen)
1
Treffer
1
bis
1
Export
BibTeX
CSV
RIS
XML
20
10
20
50
100
Model Checking Embedded Software of an Industrial Knitting Machine
(2011)
Reinbacher, Thomas
;
Horauer, Martin
;
Schlich, Bastian
;
Brauer, Jörg
;
Scheuer, Florian
1
bis
1