Industrial Deployment of System Engineering Methods
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful.�This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployme...
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Electronic |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2013.
|
| Subjects: | |
| Online Access: | https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-33170-1 |