Home Advanced Search

Advanced Search - Page 1

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky (eds.)
Software engineering for resilient systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: Romanovsky, Alexander; Troubitsyna, Elena A
Industrial Deployment of System Engineering Methods
  • PDF
  • English
  • Year: 2013
  • Author: Alexander Romanovsky, Martyn Thomas (auth.), Alexander Romanovsky, Martyn Thomas (eds.)
Industrial Deployment of System Engineering Methods
  • PDF
  • English
  • Year: 2013
  • Author: Alexander Romanovsky, Martyn Thomas (auth.), Alexander Romanovsky, Martyn Thomas (eds.)
Computer Safety, Reliability, and Security: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Alexander Romanovsky, Elena Troubitsyna, Friedemann Bitsch
UML-B Specification for Proven Embedded Systems Design
  • PDF
  • English
  • Year: 2004
  • Author: Fredrik Bernin, Michael Butler, Dominique Cansell, Stefan Hallerstede, Klaus Kronlöf, Alexander Krupp, Thierry Lecomte, Michael Lundell, Ola Lundkvist, Michele Marchetti, Wolfgang Mueller, Ian Oliver, Denis Sabatier, Tim Schattkowsky, Colin Snook, Nikolaos S. Voros, Yann Zimmermann (auth.), Jean Mermet (eds.)
Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Jeffrey O’Leary (auth.), Alexander Romanovsky, Tullio Vardanega (eds.)
Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Jeffrey O’Leary (auth.), Alexander Romanovsky, Tullio Vardanega (eds.)
Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Jeffrey O’Leary (auth.), Alexander Romanovsky, Tullio Vardanega (eds.)
search