![](/img/cover-not-exists.png)
A New Formal Verification Approach for Hardware-dependent Embedded System Software
Schmidt, Bernard, Villarraga, Carlos, Fehmel, Thomas, Bormann, J^|^ouml, rg, Wedler, Markus, Nguyen, Minh, Stoffel, Dominik, Kunz, WolfgangVolume:
6
Year:
2013
Language:
english
Journal:
IPSJ Transactions on System LSI Design Methodology
DOI:
10.2197/ipsjtsldm.6.135
File:
PDF, 478 KB
english, 2013