Home Advanced Search

Advanced Search - Page 1

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.)
Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers ... Programming and Software Engineering)
  • PDF
  • English
  • Year: 2009
  • Author: Darren Cofer, Alessandro Fantechi
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.)
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.)
Current Issues in Climate Research: Proceedings of the EC Climatology Programme Symposium, Sophia Antipolis, France, 2–5 October 1984
  • PDF
  • English
  • Year: 1985
  • Author: J. P. Rozelot (auth.), A. Ghazi, R. Fantechi (eds.)
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.)
Billy Graham and the Rise of the Republican South
  • EPUB
  • English
  • Year: 2011
  • Author: Steven P. Miller
Billy Graham and the Rise of the Republican South
  • PDF
  • English
  • Year: 2011
  • Author: Steven P. Miller
Hydrogen Storage Materials: The Characterisation of Their Storage Properties
  • PDF
  • English
  • Year: 2011
  • Author: Darren P. Broom (auth.)
search