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},
}


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

info visites 3900115