Home Advanced Search

Advanced Search - Page 1

Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Viktor Kuncak, Etienne Kneuss, Philippe Suter (auth.), Axel Legay, Saddek Bensalem (eds.)
Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Michael Codish, Yoav Fekete, Amit Metodi (auth.), Valeria Bertacco, Axel Legay (eds.)
Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Michael Codish, Yoav Fekete, Amit Metodi (auth.), Valeria Bertacco, Axel Legay (eds.)
Assurances for Self-Adaptive Systems: Principles, Models, and Techniques
  • PDF
  • English
  • Year: 2013
  • Author: Maxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens (auth.), Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes (eds.)
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2004: 7th International Conference, Saint-Malo, France, September 26-29, 2004. Proceedings, Part II
  • PDF
  • English
  • Year: 2004
  • Author: Etienne Dombre, Micaël Michelin, François Pierrot, Philippe Poignet, Philippe Bidaud (auth.), Christian Barillot, David R. Haynor, Pierre Hellier (eds.)