Home Advanced Search

Advanced Search - Page 1

Testing of Communicating Systems: Methods and Applications
  • PDF
  • English
  • Year: 1999
  • Author: Ana Cavalli (auth.), Gyula Csopaki, Sarolta Dibuz, Katalin Tarnay (eds.)
Protocol Test Systems VIII: Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995
  • PDF
  • English
  • Year: 1996
  • Author: A. T. Dahbura (auth.), Ana Cavalli, Stan Budkowski (eds.)
SDL '97: Time for Testing. SDL, MSC and Trends
  • PDF
  • English
  • Year: 1997
  • Author: Ana Cavalli and Amardeo Sarma (Eds.)
Advanced communication protocol technologies : solutions, methods, and applications
  • PDF
  • English
  • Year: 2011
  • Author: Katalin Tarnay; Gusztav Adamis; Tibor Dulai
Protocol Specification and Testing
  • PDF
  • English
  • Year: 1991
  • Author: K. Tarnay (auth.)
Data Privacy Management and Autonomous Spontaneous Security: 5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP 2010, Athens, Greece, September 23, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Vicenç Torra (auth.), Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Ana Cavalli, Jean Leneutre (eds.)
Data Privacy Management and Autonomous Spontaneous Security: 5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP 2010, Athens, Greece, September 23, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Vicenç Torra (auth.), Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Ana Cavalli, Jean Leneutre (eds.)
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France
  • PDF
  • English
  • Year: 1998
  • Author: Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim (auth.), Stan Budkowski, Ana Cavalli, Elie Najm (eds.)
Event Structure And The Left Periphery: Studies on Hungarian
  • PDF
  • English
  • Year: 2006
  • Author: Katalin E. Kiss (auth.), Katalin E. Kiss (eds.)
Specification and Design of Software Systems: Conference on Operating Systems Visegrad, Hungary, January 23–27, 1982 Proceedings
  • PDF
  • English
  • Year: 1983
  • Author: L. L. Máté, M. Bohus, Gy. Csopaki, A. Filp (auth.), Elöd Knuth, Erich J. Neuhold (eds.)
search