Rigorous Development of Fault-Tolerant Systems through Co-refinement

First Author: Lopatkin I
Attributed to:  Trustworthy Ambient Systems: Resource Constrained Ambience funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-08311-7_3

Publication URI: http://dx.doi.org/10.1007/978-3-319-08311-7_3

Type: Book Chapter

Book Title: Reliable Software Technologies - Ada-Europe 2014 (2014)

Page Reference: 11-26

ISBN: 978-3-319-08310-0