Home Advanced Search

Advanced Search - Page 1

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.)
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
Software Engineering for Resilient Systems: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Alessandro Fantechi, Patrizio Pelliccione (eds.)
Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications
  • PDF
  • English
  • Year: 2005
  • Author: Brian Henderson-Sellers (auth.), Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky (eds.)
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.)
Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Steven P. Miller (auth.), Darren Cofer, Alessandro Fantechi (eds.)
Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Steven P. Miller (auth.), Darren Cofer, Alessandro Fantechi (eds.)
Software Engineering for Multi-Agent Systems II: Research Issues and Practical Applications
  • PDF
  • English
  • Year: 2004
  • Author: Paolo Bresciani, Paolo Donzelli (auth.), Carlos Lucena, Alessandro Garcia, Alexander Romanovsky, Jaelson Castro, Paulo S. C. Alencar (eds.)
Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy
  • PDF
  • English
  • Year: 1999
  • Author: Oscar Nierstrasz (auth.), Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri (eds.)
search