Home Advanced Search

Advanced Search - Page 1

Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers
  • PDF
  • English
  • Year: 2008
  • Author: Jan Tretmans (auth.), Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.)
Testing of Communicating Systems: 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Harold Batteram, Wim Hellenthal, Willem Romijn (auth.), Roland Groz, Robert M. Hierons (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.)
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
  • PDF
  • English
  • Year: 2007
  • Author: Lars Frantzen, Jan Tretmans (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)
Software Specification Methods: An Overview Using a Case Study
  • PDF
  • English
  • Year: 2001
  • Author: Jonathan P. Bowen (auth.), Marc Frappier, Henri Habrias (eds.)
Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Jagadish Suryadevara, Cristina Seceleanu, Frédéric Mallet, Paul Pettersson (auth.), Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti (eds.)
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.)
Industrial-strength formal methods in practice
  • DJVU
  • English
  • Year: 1999
  • Author: Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)
Industrial-Strength Formal Methods in Practice
  • PDF
  • English
  • Year: 1999
  • Author: Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)
Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
  • PDF
  • English
  • Year: 2017
  • Author: Jonathan P. Bowen, Huibiao Zhu (eds.)
search