• 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 22 matches

• 2000
• 
  J. P. Albaladejo, Javier Poncela-González, José T. Entrambasaguas:
  Adaptation Of SOMT To The Development Of Systems Based Upon a Standard. SAM 2000: 139-153
• 
  José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya:
  SDL and hard real time systems: new design and analyze techniques. SAM 2000: 92-107
• 
  Stefan Bläsius, Stefan Karg, Josef Maier, Günther Kohler:
  Development of SDL Based Software for an Embedded System - Practical Experience. SAM 2000: 292-304
• 
  Francis Bordeleau, Donald Cameron:
  On the Relationship between use-case maps and Message Sequence Charts. SAM 2000: 123-138
• 
  F. Boutet, E. Choveau, G. Rieux, Y. Lejeune:
  Scheduling in SDL Simulation. Application to Future Air Navigation Systems. SAM 2000: 320-332
• 
  Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent:
  SDL for Real-Time: What is Missing? SAM 2000: 108-
• 
  André Engels:
  Design Decisions on Data and Guards in MSC2000. SAM 2000: 33-46
• 
  Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw:
  Probabilities In The Torx Test Derivation Algorithm. SAM 2000: 173-188
• 
  Loïc Hélouët, Pierre Le Maigat:
  Decomposition of Message Sequence Charts. SAM 2000: 47-60
• 
  Olaf Henniger, Hasan Ural:
  Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications. SAM 2000: 189-202
• 
  Stefan Heymer:
  A Semantics for MSC Based on Petri Net Components. SAM 2000: 262-
• 
  Ferhat Khendek, Daniel Vincent:
  Enriching SDL Specifications with MSCs. SAM 2000: 305-319
• 
  Nikolai Mansurov, Dmitri Vasura:
  Approximation of (H)MSC Semantics By Automata. SAM 2000: 154-
• 
  F. A. Meijs:
  Connecting Message Sequence Charts. SAM 2000: 61-75
• 
  Karl Meinke:
  Validation and Test Case Generations for MSCs Using A Propositional SAT Solver. SAM 2000: 203-
• 
  Anca Muscholl, Doron A. Peled:
  Analyzing Message Sequence Charts. SAM 2000: 3-17
• 
  Andreas Prinz, Robert Eschbach, Reinhard Gotzhein:
  A Executable Formal Semantics for SDL-2000. SAM 2000: 249-261
• 
  B. Rao:
  SDL Based Auto Code Generation: A Multi Beneficial Approach. SAM 2000: 333-340
• 
  Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski:
  HyperMSC - a Graphical Representation of TTCN. SAM 2000: 76-
• 
  Ketil Stølen, P. Mohn:
  Experience from Using MSC, UML and SDL in the Development of the FAME Communication Manager. SAM 2000: 276-
• 
  François Terrier, Sébastien Gérard:
  Real Time System Modeling with UML: current status and some prospects. SAM 2000: 18-32
• 
  Edel Sherratt:
  SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000. VERIMAG, IRISA, SDL Forum 2000 [contents]