by Djoudi, Adel, Coquelin, Loic, Regnier, Remi
Published in 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC) (20.09.2020)

by Djoudi, Adel, Hána, Martin, Kosmatov, Nikolai
Published in Formal Methods

by Djoudi, Adel, Bardin, Sébastien, Goubault, Éric
Published in FM 2016: Formal Methods

by Bouissou, Olivier, Chapoutot, Alexandre, Djoudi, Adel
Published in NASA Formal Methods

by Djoudi, Adel, Bardin, Sébastien
Published in Tools and Algorithms for the Construction and Analysis of Systems

by Brat, Guillaume, Rungta, Neha, Venet, Arnaud
Year of Publication 2013