Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/ipsj/SchmidtVFBWNSK13
AU - Schmidt, Bernard
AU - Villarraga, Carlos
AU - Fehmel, Thomas
AU - Bormann, Jörg
AU - Wedler, Markus
AU - Nguyen, Minh D.
AU - Stoffel, Dominik
AU - Kunz, Wolfgang
TI - A New Formal Verification Approach for Hardware-dependent Embedded System Software.
JO - IPSJ Trans. Syst. LSI Des. Methodol.
VL - 6
SP - 135
EP - 145
PY - 2013//
DO - 10.2197/IPSJTSLDM.6.135
UR - https://doi.org/10.2197/ipsjtsldm.6.135
ER -
