francesco flammini
Resilience of Cyber-Physical Systems
DigitalSofort lieferbarThis book addresses the latest approaches to holistic Cyber-Physical System (CPS)&...
Computer Safety, Reliability, and Security
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 30th International Conference on Computer S...
Formal Methods for Industrial Critical Systems
TaschenbuchPrint on DemandInhaltsangabeFormal Verification of Steady-State Errors in Unity-Feedback Control Systems.- Asser...
Model-Based Dependability Evaluation of Critical Control Systems
TaschenbuchPrint on DemandThe complexity and criticality of modern control systems are rapidly growing. This book addresses...
Resilience of Cyber-Physical Systems
BuchPrint on DemandThis book addresses the latest approaches to holistic Cyber-Physical System (CPS) resilience in r...
Dependable Computing - EDCC 2020 Workshops
TaschenbuchPrint on DemandThis book constitutes refereed proceedings of the Workshops of the 16th European Dependable Compu...
- 1