@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},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 32628356
|
|
|