Computer safety, reliability, and security SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019 : proceedings /
edited by Alexander Romanovsky ... [et al.].
2019.
Reliability, safety, and security of railway systems modelling, analysis, verification, and certification : first International Conference, RSSRail 2016, Paris, France, June 28-30, 2016 : proceedings /
edited by Thierry Lecomte, Ralf Pinger, Alexander Romanovsky.
2016.
Reliability, safety, and security of railway systems modelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017 : proceedings /
edited by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky.
2017.
Reliability, safety, and security of railway systems modelling, analysis, verification, and certification : third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019 : proceedings /
edited by Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky.
2019.
1/1
