E. Guerfala
AuthID: R-00G-WFA
1
TITLE: Modeling and formal verification of reconfigurable vehicular platoons
AUTHORS: Guerfala, E; Khalgui, M; Koubâa, A; Karoui, O;
PUBLISHED: 2015, SOURCE: 29th Annual European Simulation and Modelling Conference 2015, ESM 2015 in 29th Annual European Simulation and Modelling Conference 2015, ESM 2015
AUTHORS: Guerfala, E; Khalgui, M; Koubâa, A; Karoui, O;
PUBLISHED: 2015, SOURCE: 29th Annual European Simulation and Modelling Conference 2015, ESM 2015 in 29th Annual European Simulation and Modelling Conference 2015, ESM 2015
INDEXED IN: 
Scopus
Scopus