2006-01-01
Model checking software for microcontrollers
Publication
Publication
Additional Metadata | |
---|---|
Publisher | Cornell University Library |
Series | arXiv.org e-Print archive |
Citation |
Schlich, B, Rohrbach, M, Weber, M, & Kowalewski, S. (2006). Model checking software for microcontrollers. arXiv.org e-Print archive. Cornell University Library .
|