Deutsch
Login
Open Access
Home
Search
Browse
Publish
FAQ
Research Focus
Embedded Systems & Cyber-Physical Systems
Refine
Keywords
Formal Verification (1)
(remove)
1
search hit
1
to
1
Export
BibTeX
CSV
RIS
XML
100
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
to
1