Abstract is missing.
- IntroductionAlexander Romanovsky, Martyn Thomas. 1-3 [doi]
- Integrated Project DEPLOYAlexander Romanovsky. 5-12 [doi]
- Experience of Deployment in the Automotive IndustryRainer Gmehlich, Cliff Jones. 13-26 [doi]
- Improving Railway Data Validation with ProBJérôme Falampin, Hung Le Dang, Michael Leuschel, Mikael Mokrani, Daniel Plagge. 27-43 [doi]
- Deployment in the Space SectorDubravka Ilic, Linas Laibinis, Timo Latvala, Elena Troubitsyna, Kimmo Varpaaniemi. 45-62 [doi]
- Business Information SectorSebastian Wieczorek, Vitaly Kozyura, Wei Wei, Andreas Roth, Alin Stefanescu. 63-79 [doi]
- Formal Methods as an Improvement ToolAryldo G. Russo Jr.. 81-95 [doi]
- Critical Software Technologies' Experience with Formal MethodsAlex Hill, Jose Reis, Paulo Carvalho. 97-105 [doi]
- Experience of Deploying Event-B in Industrial Microprocessor DevelopmentStephen Wright, Kerstin Eder. 107-122 [doi]
- Industrial Deployment of Formal Methods: Trends and ChallengesJohn S. Fitzgerald, Juan Bicarregui, Peter Gorm Larsen, Jim Woodcock. 123-143 [doi]
- Introducing Formal Methods into Existing Industrial PracticesMartyn Thomas, Alexander Romanovsky. 145-156 [doi]
- ToolingMichael J. Butler, Laurent Voisin, Thomas Muller. 157-185 [doi]
- Technology TransferDavid A. Basin, Thai Son Hoang. 187-196 [doi]
- After and Outside DEPLOY: The DEPLOY EcosystemAlexander Romanovsky. 197-202 [doi]
- Industrial Software Engineering and Formal MethodsMartyn Thomas, Alexander Romanovsky. 203-210 [doi]