bibtex

@inproceedings{BBC+14,
    title = { Rigorous System Design Flow for Autonomous Systems },
    author = {Bensalem, Saddek and Bozga, Marius and Combaz, Jacques and Triki, Ahlem},
    year = {2014},
    booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Procee},
    pages = {184--198},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {8802},
    team = {DCS, RSD},
}

URL


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

info visites 3885738