Verimag

bibtex

@article{ABC+12,
    title = {Rigorous design of robot software: A formal component-based approach },
    author = {Abdellatif, Tesnim and Bensalem, Saddek and Combaz, Jacques and Silva, Lavindra de and Ingrand, Felix},
    year = {2012},
    journal = {Robotics and Autonomous Systems},
    number = {12},
    pages = {1563-1578},
    volume = {60},
    team = {DCS, RSD},
    ee = {http://dx.doi.org/10.1016/j.robot.2012.09.005}, bibsource = {DBLP, http://dblp.uni-trier.de},
}

Publication Sections


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

info visites 778170