• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 31 matches

• 1995
• 
  Son T. Vuong, Samuel T. Chanson:
  Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994. IFIP Conference Proceedings 1, Chapman & Hall 1995, ISBN 0-412-63640-9 [contents]
• 1994
• 
  Brigitte Bär, Andreas Mann:
  A methodology for conformance testing of managed objects. PSTV 1994: 367-375
• 
  Y. Benkhellat, Jean-Pierre Thomesse:
  Validation of timing properties for interoperability in distributed real-time applications. PSTV 1994: 331-338
• 
  Jakub Bojanowski, Michal Iglewski, Jan Madey, Abdellatif Obaid:
  Functional approach to protocols specification. PSTV 1994: 395-402
• 
  Ed Brinksma:
  Cache consistency by design. PSTV 1994: 53-67
• 
  Kenneth L. Calvert:
  Specifying and verifying conditional progress. PSTV 1994: 303-318
• 
  Jorge Arturo Cobb, Mohamed G. Gouda, Prathima Agrawal:
  Protocol synchronization with sparse timestraps. PSTV 1994: 169-184
• 
  Jean-Pierre Courtiat, Roberto C. de Oliveira:
  About time nondeterminism and exception handling in a temporal extension of LOTOS. PSTV 1994: 37-52
• 
  Anders Ek, Jan Ellsberger, Anthony Wiles:
  Computer supported test generation from SDL specifications. PSTV 1994: 351-358
• 
  Jens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou:
  Automatic verification of real-tim systems using epsilon. PSTV 1994: 323-330
• 
  Reinhard Gotzhein, Gregor von Bochmann:
  Specialization in Estelle. PSTV 1994: 21-36
• 
  Klaus Havelund, Kim Guldstrand Larsen:
  A refinement logic for the fork calculus. PSTV 1994: 5-20
• 
  Thomas Held, Hartmut König:
  Increasing the efficiency of computer-aided protocol implementations. PSTV 1994: 387-394
• 
  Peter Herrmann, Heiko Krumm:
  Compositional specification and verification of high-speed transfer protocols. PSTV 1994: 339-346
• 
  Teruo Higashino, Keiichi Yasumoto, Junji Kitamichi, Kenichi Taniguchi:
  Hardware synthesis from a restricted class of LOTOS expressions. PSTV 1994: 379-386
• 
  Masahiro Higuchi, S. Sugawa, Mamoru Fujii:
  A method for verifying liveness of protocols modeled as a class of ECFSM. PSTV 1994: 287-302
• 
  Maria Hultström:
  Structural decomposition. PSTV 1994: 201-216
• 
  Raj Jain:
  ATM Networks: Issues and Challenges Ahead. PSTV 1994: 217
• 
  Ajin Jirachiefpattana, Richard Lai:
  Verification of the ISO ROSE protocol specified in Estelle. PSTV 1994: 87-102
• 
  Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli:
  On specifying services and synthesizing protocols for real-time applications. PSTV 1994: 185-200
• 
  Erik Kwast:
  Automatic ASN.1 constraint generation for testing purposes. PSTV 1994: 359-366
• 
  Guy Leduc:
  Failure-based congruences, unfair divergences and new testing theory. PSTV 1994: 252-267
• 
  Hong Liu, Raymond E. Miller:
  Generalized fair reachability analysis for cyclic protocols: part 1. PSTV 1994: 271-286
• 
  Masaaki Mori, Son T. Vuong:
  On finite covering of infinite spaces for protocol test selection. PSTV 1994: 237-251
• 
  Kshirasagar Naik:
  Design of reliable architecture for testing timed behavior of OSI protocols. PSTV 1994: 121-136
• 
  Kshirasagar Naik, Behçet Sarikaya:
  Protocol conformance test case verification using timed-transitions. PSTV 1994: 103-118
• 
  Marc Phalippou:
  Abstract testing and concrete testers. PSTV 1994: 221-236
• 
  Pierre de Saqui-Sannes, Jean-Pierre Courtiat, René Casadessus:
  Verification by abstraction as a preamble for interoperability test suite generation. PSTV 1994: 152-166
• 
  Bernard Stepien, Luigi Logrippo:
  Feature interaction detection using backward reasoning with LOTOS. PSTV 1994: 71-86
• 
  David L. Tennenhouse:
  Putting information infrastructure on the technology curve. PSTV 1994: 347

skipping 1 more match