6,140 followers
#Publication - A generated property specification language for resilient multirobot missions | The use of robots i… https://t.co/I3FRm01dvo
Software Engineering for Resilient Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Predictive Analytics: A Shortcut to Dependable Computing
-
Altmetric BadgeChapter 2 Modeling and Monitoring of Hierarchical State Machines in Scala
-
Altmetric BadgeChapter 3 Stochastic Activity Networks for the Verification of Knowledge Bases
-
Altmetric BadgeChapter 4 A Generated Property Specification Language for Resilient Multirobot Missions
-
Altmetric BadgeChapter 5 Towards a Model-Driven Security Assurance of Open Source Components
-
Altmetric BadgeChapter 6 A Cyber-Physical Space Operational Approach for Crowd Evacuation Handling
-
Altmetric BadgeChapter 7 Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook
-
Altmetric BadgeChapter 8 Evaluation of Open Source Operating Systems for Safety-Critical Applications
-
Altmetric BadgeChapter 9 100 Years of Software - Adapting Cyber-Physical Systems to the Changing World
-
Altmetric BadgeChapter 10 Improving Robustness of AUTOSAR Software Components with Design by Contract: A Study Within Volvo AB
-
Altmetric BadgeChapter 11 Modelling for Systems with Holistic Fault Tolerance
-
Altmetric BadgeChapter 12 Holistic Processing and Exploring Event Logs
Attention for Chapter 4:
A Generated Property Specification Language for Resilient Multirobot Missions