Home Advanced Search

Advanced Search - Page 1

Testing of Software and Communicating Systems: 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Antti Huima (auth.), Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp (eds.)
Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Bernhard K. Aichernig, Elisabeth Jöbstl, Matthias Kegele (auth.), Margus Veanes, Luca Viganò (eds.)
Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)
Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)
Situation Awareness with Systems of Systems
  • PDF
  • English
  • Year: 2013
  • Author: Jan Tretmans, Piërre van de Laar (auth.), Piërre van de Laar, Jan Tretmans, Michael Borth (eds.)
Integrated Formal Methods: Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Tony Hoare (auth.), Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.)
Testing of Communicating Systems: Proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS’98) August 31-September 2, 1998, Tomsk, Russia
  • PDF
  • English
  • Year: 1998
  • Author: Igor S. Grunsky (auth.), Alexandre Petrenko, Nina Yevtushenko (eds.)
Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers
  • PDF
  • English
  • Year: 2004
  • Author: Benjamin Tyler, Neelam Soundarajan (auth.), Alexandre Petrenko, Andreas Ulrich (eds.)
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Wolfgang Grieskamp (auth.), Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff (eds.)
Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Ina Schieferdecker (auth.), Alexandre Petrenko, Adenilso Simão, José Carlos Maldonado (eds.)
search