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

• 2013
• 
  David A. Basin, Thai Son Hoang:
  Technology Transfer. Industrial Deployment of System Engineering Methods 2013: 187-196
• 
  Michael J. Butler, Laurent Voisin, Thomas Muller:
  Tooling. Industrial Deployment of System Engineering Methods 2013: 157-185
• 
  Jérôme Falampin, Hung Le-Dang, Michael Leuschel, Mikael Mokrani, Daniel Plagge:
  Improving Railway Data Validation with ProB. Industrial Deployment of System Engineering Methods 2013: 27-43
• 
  John S. Fitzgerald, Juan Bicarregui, Peter Gorm Larsen, Jim Woodcock:
  Industrial Deployment of Formal Methods: Trends and Challenges. Industrial Deployment of System Engineering Methods 2013: 123-143
• 
  Rainer Gmehlich, Cliff B. Jones:
  Experience of Deployment in the Automotive Industry. Industrial Deployment of System Engineering Methods 2013: 13-26
• 
  Alex Hill, Jose Reis, Paulo Carvalho:
  Critical Software Technologies' Experience with Formal Methods. Industrial Deployment of System Engineering Methods 2013: 97-105
• 
  Dubravka Ilic, Linas Laibinis, Timo Latvala, Elena Troubitsyna, Kimmo Varpaaniemi:
  Deployment in the Space Sector. Industrial Deployment of System Engineering Methods 2013: 45-62
• 
  Alexander B. Romanovsky:
  Integrated Project DEPLOY. Industrial Deployment of System Engineering Methods 2013: 5-12
• 
  Alexander B. Romanovsky:
  After and Outside DEPLOY: The DEPLOY Ecosystem. Industrial Deployment of System Engineering Methods 2013: 197-202
• 
  Alexander B. Romanovsky, Martyn Thomas:
  Introduction. Industrial Deployment of System Engineering Methods 2013: 1-3
• 
  Aryldo G. Russo Jr.:
  Formal Methods as an Improvement Tool. Industrial Deployment of System Engineering Methods 2013: 81-95
• 
  Martyn Thomas, Alexander B. Romanovsky:
  Introducing Formal Methods into Existing Industrial Practices. Industrial Deployment of System Engineering Methods 2013: 145-156
• 
  Martyn Thomas, Alexander B. Romanovsky:
  Industrial Software Engineering and Formal Methods. Industrial Deployment of System Engineering Methods 2013: 203-210
• 
  Sebastian Wieczorek, Vitaly Kozyura, Wei Wei, Andreas Roth, Alin Stefanescu:
  Business Information Sector. Industrial Deployment of System Engineering Methods 2013: 63-79
• 
  Stephen Wright, Kerstin Eder:
  Experience of Deploying Event-B in Industrial Microprocessor Development. Industrial Deployment of System Engineering Methods 2013: 107-122
• 
  Alexander B. Romanovsky, Martyn Thomas:
  Industrial Deployment of System Engineering Methods. Springer 2013, ISBN 978-3-642-33169-5 [contents]