
[IEEE 2009 Fourth International Conference on Embedded and Multimedia Computing (EM-Com 2009) - Jeju, Korea (South) (2009.12.10-2009.12.12)] 2009 Fourth International Conference on Embedded and Multimedia Computing - Model Checking Assembly Code of an Industrial Knitting Machine
Reinbacher, Thomas, Horauer, Martin, Schlich, Bastian, Brauer, Jorg, Scheuer, FlorianAnnée:
2009
Langue:
english
DOI:
10.1109/em-com.2009.5402986
Fichier:
PDF, 156 KB
english, 2009