Home Advanced Search

Advanced Search - Page 1

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.)
The Unknown Component Problem: Theory and Applications
  • PDF
  • English
  • Year: 2012
  • Author: Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli (auth.)
The Unknown Component Problem: Theory and Applications
  • PDF
  • English
  • Year: 2012
  • Author: Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli (auth.)
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.)
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.)
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.)
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.)
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.)
Testing Software and Systems: 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko (eds.)
Formal Methods for Protocol Engineering and Distributed Systems: FORTE XII / PSTV XIX’99 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX) October 5–8, 1999, Beijing, China
  • PDF
  • English
  • Year: 1999
  • Author: A. Petrenko, S. Boroday, R. Groz (auth.), Jianping Wu, Samuel T. Chanson, Qiang Gao (eds.)
search