Home Advanced Search

Advanced Search - Page 1

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
  • PDF
  • English
  • Year: 2017
  • Author: Axel Legay, Tiziana Margaria (eds.)
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
Risks and Security of Internet and Systems: 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers
  • PDF
  • English
  • Year: 2017
  • Author: Frédéric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay (eds.)
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2017
  • Author: Aceto, Luca; Bacci, Giorgio; Bacci, Giovanni; Ingólfsdóttir, Anna; Legay, Axel; Mardare, Radu
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.)
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.)
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.)
La souveraineté monétaire dans les Pays-Bas méridionaux XVIe-XIXe siècle French
  • PDF
  • French
  • Author: Marie-Laure Legay
Luftwaffe IM Focus
  • PDF
  • English
  • Year: 2003
  • Author: Axel Urbanke, Axel Urbanke
search