Romanovsky, Alexander.

Overview

Works:	1 works in 7 publications in 1 languages

Titles

Computer safety, reliability, and securitySAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019 : proceedings / by: (1998 :); Romanovsky, Alexander.; SpringerLink (Online service) (Electronic resources)

Software engineering for resilient systems9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings / by: (1998 :); Romanovsky, Alexander.; SpringerLink (Online service); Troubitsyna, Elena A. (Electronic resources)

Reliability, safety, and security of railway systemsmodelling, analysis, verification, and certification : third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019 : proceedings / by: (1998 :); Collart-Dutilleul, Simon.; Lecomte, Thierry.; Romanovsky, Alexander.; SpringerLink (Online service) (Electronic resources)

Computer safety, reliability, and security38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019 : proceedings / by: (1998 :); Bitsch, Friedemann.; Romanovsky, Alexander.; SpringerLink (Online service); Troubitsyna, Elena. (Electronic resources)

Reliability, safety, and security of railway systemsmodelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017 : proceedings / by: (1998 :); Fantechi, Alessandro.; Lecomte, Thierry.; Romanovsky, Alexander.; SpringerLink (Online service) (Electronic resources)

Architecting Dependable Systems III by: Gacek, Cristina.; Lemos, Rogerio de.; Romanovsky, Alexander.; SpringerLink (Online service) (Electronic resources)

Reliable software technologiesAda-Europe 2011 : 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20-24, 2011 : proceedings / by: (1998 :); Romanovsky, Alexander.; SpringerLink (Online service); Vardanega, Tullio. (Electronic resources)

Reliability, safety, and security of railway systemsmodelling, analysis, verification, and certification : first International Conference, RSSRail 2016, Paris, France, June 28-30, 2016 : proceedings / by: (1998 :); Lecomte, Thierry.; Pinger, Ralf.; Romanovsky, Alexander.; SpringerLink (Online service) (Electronic resources)

Scientific Engineering of Distributed Java Applications4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers / by: (1998 :); Guelfi, Nicolas.; Reggio, Gianna.; Romanovsky, Alexander.; SpringerLink (Online service) (Electronic resources)

Subjects

Software Engineering. Software engineering Mathematical Logic and Formal Languages. Theory of Computation. Computer organization Image Processing and Computer Vision. Electronic data processing Logics and Meanings of Programs. Software Engineering/Programming and Operating Systems. Cryptology. Java (Computer program language) Programming Techniques. Computer systems Operating Systems. Computer software Railroads Artificial Intelligence (incl. Robotics) Control Structures and Microprogramming. Algorithm Analysis and Problem Complexity. Information Storage and Retrieval. Programming Languages, Compilers, Interpreters. Programming languages (Electronic computers) Computer logic Information Systems Applications (incl.Internet) Multimedia Information Systems. Computer architecture The Computing Profession. Artificial Intelligence. Computer security Computer Science. Computer Communication Networks. Fault-tolerant computing Systems and Data Security. System Performance and Evaluation. Computer Systems Organization and Communication Networks. Application software Simulation and Modeling.