Deutsch
Login
Open Access
Home
Search
Browse
Publish
FAQ
Refine
Year of publication
2009
(1)
2011
(1)
Document Type
Article
(1)
Conference Proceeding
(1)
Keywords
Model Checking (2)
(remove)
2
search hits
1
to
2
Export
BibTeX
CSV
RIS
XML
10
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
Model Checking Embedded Software of an Industrial Knitting Machine
(2011)
Reinbacher, Thomas
;
Horauer, Martin
;
Schlich, Bastian
;
Brauer, Jörg
;
Scheuer, Florian
Model Checking Assembly Code of an Industrial Knitting Machine
(2009)
Reinbacher, Thomas
;
Horauer, Martin
;
Schlich, Bastian
;
Bauer, Jörg
;
Scheuer, Florian
1
to
2