by Martinez, Sébastien, Dalay Israel De Almeida Pereira, Bon, Philippe, Simon Collart- Dutilleul, Perin, Matthieu
Published in International journal of transport development and integration (31.07.2020)

by de Almeida Pereira, Dalay Israel, Deharbe, David, Perin, Matthieu, Bon, Philippe
Published in Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

by de Almeida Pereira, Dalay Israel, Debbech, Sana, Perin, Matthieu, Bon, Philippe, Collart-Dutilleul, Simon
Published in Conceptual Modeling

by de Almeida Pereira, Dalay Israel, Malki, Ouahmed, Bon, Philippe, Perin, Matthieu, Collart-Dutilleul, Simon
Published in New Trends in Model and Data Engineering

by de Almeida Pereira, Dalay Israel, Oliveira, Marcel Vinicius Medeiros, Conserva Filho, Madiel S., Da Rocha Silva, Sarah Raquel
Published in Integrated Formal Methods