default search action

combined dblp search
author search
venue search
publication search

ask others

Industrial Deployment of System Engineering Methods 2013

> Home > (missing label)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

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

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.