Verimag

bibtex

@article{BP12,
    title = {Generating Invariant-based Certificates for Embedded Systems },
    author = {Blech, Jan-Olaf and P\'erin, Micha\"el},
    year = {2012},
    journal = {ACM Transactions on Embedded Computing Systems (TECS)},
    number = {2},
    pages = {34},
    volume = {11},
    team = {DCS,PACSS},
    ee = {http://doi.acm.org/10.1145/2220336.2220346},
}

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 845883