@article{BS3,
title = { Correct by design coordination of autonomous driving systems },
author = {Bozga, Marius and Sifakis, Joseph},
year = {2023},
journal = {Int. J. Softw. Tools Technol. Transf.},
number = {5},
pages = {625--639},
volume = {25},
team = {axe_Mohytos, RSD},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 28241956
|
|
|