Portuguese
High-Integrity System Specification and Design
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Specification and Design
-
Altmetric BadgeChapter 2 Structured Methods
-
Altmetric BadgeChapter 3 Formal Methods
-
Altmetric BadgeChapter 4 Object-Orientation
-
Altmetric BadgeChapter 5 Concurrent and Distributed Systems
-
Altmetric BadgeChapter 6 Real-Time and Safety-Critical Systems
-
Altmetric BadgeChapter 7 Integrating Methods
-
Altmetric BadgeChapter 8 Implementation
-
Altmetric BadgeChapter 9 CASE