Home Advanced Search

Advanced Search - Page 1

Testing of Communicating Systems XIV: Application to Internet Technologies and Services
  • PDF
  • English
  • Year: 2002
  • Author: Andreas Gehring (auth.), Ina Schieferdecker, Hartmut König, Adam Wolisz (eds.)
Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference Berlin, Germany, September 29 – October 2, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Paweł Rychwalski, Jacek Wytrębowicz (auth.), Hartmut König, Monika Heiner, Adam Wolisz (eds.)
Wireless Sensor Networks: First EuropeanWorkshop, EWSN 2004, Berlin, Germany, January 19-21, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Shad Roundy, Dan Steingart, Luc Frechette, Paul Wright (auth.), Holger Karl, Adam Wolisz, Andreas Willig (eds.)
Wireless Sensor Networks: First EuropeanWorkshop, EWSN 2004, Berlin, Germany, January 19-21, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Shad Roundy, Dan Steingart, Luc Frechette, Paul Wright (auth.), Holger Karl, Adam Wolisz, Andreas Willig (eds.)
Personal Wireless Communications: IFIP TC6/WG6.8 Working Conference on Personal Wireless Communications (PWC’2000), September 14–15, 2000, Gdańsk, Poland
  • PDF
  • English
  • Year: 2000
  • Author: Adam Wolisz (auth.), Józef Woźniak, Jerzy Konorski (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.)
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97
  • PDF
  • English
  • Year: 1997
  • Author: Andreas Ulrich, Hartmut König (auth.), Tadanori Mizuno, Norio Shiratori, Teruo Higashino, Atsushi Togashi (eds.)
Protocol Engineering
  • PDF
  • English
  • Year: 2012
  • Author: Hartmut König (auth.)
search