![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Industrial Deployment of System Engineering Methods 2013
- Alexander B. Romanovsky
, Martyn Thomas:
Industrial Deployment of System Engineering Methods. Springer 2013, ISBN 978-3-642-33169-5 - Alexander B. Romanovsky, Martyn Thomas:
Introduction. 1-3 - Alexander B. Romanovsky:
Integrated Project DEPLOY. 5-12 - Rainer Gmehlich, Cliff B. Jones
:
Experience of Deployment in the Automotive Industry. 13-26 - Jérôme Falampin, Hung Le-Dang, Michael Leuschel, Mikael Mokrani, Daniel Plagge:
Improving Railway Data Validation with ProB. 27-43 - Dubravka Ilic, Linas Laibinis, Timo Latvala, Elena Troubitsyna, Kimmo Varpaaniemi:
Deployment in the Space Sector. 45-62 - Sebastian Wieczorek, Vitaly Kozyura, Wei Wei, Andreas Roth, Alin Stefanescu:
Business Information Sector. 63-79 - Aryldo G. Russo Jr.:
Formal Methods as an Improvement Tool. 81-95 - Alex Hill, Jose Reis, Paulo Carvalho
:
Critical Software Technologies' Experience with Formal Methods. 97-105 - Stephen Wright, Kerstin Eder
:
Experience of Deploying Event-B in Industrial Microprocessor Development. 107-122 - John S. Fitzgerald
, Juan Bicarregui
, Peter Gorm Larsen
, Jim Woodcock
:
Industrial Deployment of Formal Methods: Trends and Challenges. 123-143 - Martyn Thomas, Alexander B. Romanovsky:
Introducing Formal Methods into Existing Industrial Practices. 145-156 - Michael J. Butler, Laurent Voisin, Thomas Muller:
Tooling. 157-185 - David A. Basin, Thai Son Hoang:
Technology Transfer. 187-196 - Alexander B. Romanovsky:
After and Outside DEPLOY: The DEPLOY Ecosystem. 197-202 - Martyn Thomas, Alexander B. Romanovsky:
Industrial Software Engineering and Formal Methods. 203-210
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.