Home Advanced Search

Advanced Search - Page 1

Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Lhouari Nourine, Farouk Toumani (auth.), Maurice H. ter Beek, Niels Lohmann (eds.)
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp (eds.)
Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022 Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022 Lucca, Italy, June 13–17, 2022 Proceedings
  • PDF
  • English
  • Year: 2022
  • Author: Maurice H. ter Beek, Marjan Sirjani
Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings
  • PDF
  • English
  • Year: 2022
  • Author: Maurice H. ter Beek, Rosemary Monahan
Formal Concept Analysis: 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Alain Gély, Raoul Medina, Lhouari Nourine (auth.), Léonard Kwuida, Barış Sertkaya (eds.)
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Maurice H. ter Beek, Annabelle McIver, José N. Oliveira
Business Process Management: 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: David Harel (auth.), Stefanie Rinderle-Ma, Farouk Toumani, Karsten Wolf (eds.)
Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops: International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Sabine Buckl, Florian Matthes, Christian M. Schweda (auth.), Asit Dan, Frédéric Gittler, Farouk Toumani (eds.)
Architecting Dependable Systems VI
  • PDF
  • English
  • Year: 2009
  • Author: Ricardo Jimenez-Peris, Marta Patiño-Martinez, Bettina Kemme, Francisco Perez-Sorrosal (auth.), Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice ter Beek (eds.)
Service-Oriented Computing: 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Naouel Moha, Francis Palma, Mathieu Nayrolles, Benjamin Joyen Conseil (auth.), Chengfei Liu, Heiko Ludwig, Farouk Toumani, Qi Yu (eds.)
search