|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Mario TokoroPublisher: Taylor & Francis Ltd Imprint: CRC Press Edition: 2nd edition Weight: 0.530kg ISBN: 9780367738174ISBN 10: 0367738171 Pages: 288 Publication Date: 18 December 2020 Audience: College/higher education , General/trade , Tertiary & Higher Education , General Format: Paperback Publisher's Status: Active Availability: In Print ![]() This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsIntroduction. Open Systems Dependability. The DEOS Technology. D-Case: Building Consensus and Achieving Accountability. D-Case Tools. D-Case Integrity Checking and Formal Assurance Case. D-RE: The DEOS Runtime Environment Runtime Environment. D-Script: System Operation Based on D-Case Agreement. D-ADD—The Agreement Description Database. Toward Standardization of Open Systems Dependability. Concluding Remarks. Appendix. Index.ReviewsAuthor InformationMario Tokoro Tab Content 6Author Website:Countries AvailableAll regions |