Related Books

Provably Correct Systems
Language: en
Pages: 328
Authors: Mike Hinchey
Categories: Mathematics
Type: BOOK - Published: 2017-03-01 - Publisher: Springer

DOWNLOAD EBOOK

As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these s
Provably Correct Systems
Language: en
Pages: 200
Authors: Jifeng He
Categories: Computers
Type: BOOK - Published: 1995 - Publisher: McGraw-Hill Companies

DOWNLOAD EBOOK

Correct System Design
Language: en
Pages: 422
Authors: Ernst-RĂ¼diger Olderog
Categories: Computers
Type: BOOK - Published: 2003-06-26 - Publisher: Springer

DOWNLOAD EBOOK

Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical appl
Safety of Computer Control Systems 1990 (SAFECOMP'90)
Language: en
Pages: 185
Authors: B.K. Daniels
Categories: Technology & Engineering
Type: BOOK - Published: 2014-06-28 - Publisher: Elsevier

DOWNLOAD EBOOK

The market for safe, secure and reliable computer systems is expanding continuously and these Proceedings provide an opportunity to review the growth during the
Future-Proof Software-Systems
Language: en
Pages: 376
Authors: Frank J. Furrer
Categories: Computers
Type: BOOK - Published: 2019-09-25 - Publisher: Springer

DOWNLOAD EBOOK

This book focuses on software architecture and the value of architecture in the development of long-lived, mission-critical, trustworthy software-systems. The a