Home > Verimag > Publications

bibtex

@article{BLB13,
    title = {Rigorous embedded design: challenges and perspectives },
    author = {Bensalem, Saddek and Legay, Axel and Bozga, Marius},
    year = {2013},
    journal = {STTT},
    number = {3},
    pages = {149-154},
    volume = {15},
    team = {DCS, RSD},
}