A Guide to Rely/Guarantee Thinking
Attributed to:
STRATA; Layers for Structuring Trustworthy Ambient Systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-02928-9_1
Publication URI: http://dx.doi.org/10.1007/978-3-030-02928-9_1
Type: Book Chapter
Book Title: Engineering Trustworthy Software Systems - Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures (2018)
Page Reference: 1-38
ISSN: 0165-0009