Romanovsky, Alexander.

概要

作品:	1 作品在 6 項出版品 1 種語言

書目資訊

Architecting Dependable Systems III by: Gacek, Cristina.; Lemos, Rogerio de.; Romanovsky, Alexander.; SpringerLink (Online service) (書目-語言資料,印刷品)

Reliability, safety, and security of railway systems = modelling, analysis, verification, and certification : first International Conference, RSSRail 2016, Paris, France, June 28-30, 2016 : proceedings / by: Lecomte, Thierry.; Romanovsky, Alexander.; SpringerLink (Online service); Pinger, Ralf. (書目-電子資源)

Reliability, safety, and security of railway systems = modelling, analysis, verification, and certification : third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019 : proceedings / by: Lecomte, Thierry.; Romanovsky, Alexander.; SpringerLink (Online service); Collart-Dutilleul, Simon.; RSSRail (Conference) (2019 :) (書目-電子資源)

Software engineering for resilient systems = 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings / by: SERENE (Workshop) (2017 :); Romanovsky, Alexander.; Troubitsyna, Elena A.; SpringerLink (Online service) (書目-電子資源)

Computer safety, reliability, and security = 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019 : proceedings / by: International Conference on Computer Safety, Reliability, and Security (2019 :); Romanovsky, Alexander.; Bitsch, Friedemann.; SpringerLink (Online service); Troubitsyna, Elena. (書目-電子資源)

Computer safety, reliability, and security = SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019 : proceedings / by: International Conference on Computer Safety, Reliability, and Security (2019 :); Romanovsky, Alexander.; SpringerLink (Online service) (書目-電子資源)

Reliability, safety, and security of railway systems = modelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017 : proceedings / by: Fantechi, Alessandro.; Lecomte, Thierry.; Romanovsky, Alexander.; SpringerLink (Online service); RSSRail (Conference) (2017 :) (書目-電子資源)

Scientific Engineering of Distributed Java Applications = 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers / by: FIDJI 2004 ((2004 :); Guelfi, Nicolas.; Reggio, Gianna.; Romanovsky, Alexander.; SpringerLink (Online service) (書目-電子資源)

主題