2016

Formal methods : foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Brazilian Symposium on Formal Methods (19th : 2016 : Natal, Brazil)

Cham, Switzerland : Springer, 2016

 

2022

Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : 4th international conference, RSSRail 2022, Paris, France, June 1-2, 2022 : proceedings

RSSRail (Conference) (4th : 2022 : Paris, France)

Cham : Springer, [2022]

 

2023

Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedi

RSSRail (Conference) (5th : 2023 : Berlin, Germany)

Cham : Springer, 2023

 

2016

Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : first International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

RSSRail (Conference) (1st : 2016 : Paris, France)

Switzerland : Springer, 2016

 

2017

Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proce

RSSRail (Conference) (2nd : 2017 : Pistoia, Italy)

Cham : Springer, 2017

 

2019

Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings

RSSRail (Conference) (3rd : 2019 : Lille, France)

Cham, Switzerland : Springer, 2019