Search alternatives:
"critic" » "critics", "critica", "critical"
"criticalas" » "criticsalas", "criticaalas", "criticalalas"
"criticalaas" » "criticsalaas", "criticaalaas", "criticalalaas"
Cover Image
Read Now

1
Published 2008
Springer US
Table of Contents: “... Metamodel for Critical Infrastructures -- Multigraph Dependency Models for Heterogeneous Infrastructures...”
Cover Image
Read Now

2
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...-Tolerant Techniques into the Design of Critical Systems -- Component Behavior Synthesis for Critical...”
Cover Image
Read Now

3
by Jackson, Michael C.
Published 2024
Wiley
Table of Contents: “... 153 -- 7 Critical Systems Practice 3 – Intervene Flexibly 159 -- 7.1 Introduction 159 -- 7.2 Intervene...”
Cover Image
Read Now

4
Published 2003
Springer US
“...Security Education and Critical Infrastructures presents the most recent developments in research...”
Cover Image
Read Now

5
Published 2017
Springer International Publishing
“..., design, construction and use of communication in critical embedded systems...”
Cover Image
Read Now

6
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...On Modelling of Inter-dependent Network Infrastructures by Extended Leontief Models -- Critical...”
Cover Image
Read Now

7
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Processing in Data Streams -- An Approach to Trust Management Challenges for Critical Infrastructures...”
Cover Image
Read Now

8
Published 1991
Springer Vienna
“...The International Working Conference on Dependable Computing for Critical Applications...”
Cover Image
Read Now

9
Published 2008
Springer US
Table of Contents: “...Themes And Issues -- Emergent Risks In Critical Infrastructures -- Cyberspace Policy For Critical...”
Cover Image
Read Now

10
Published 2011
Springer Berlin Heidelberg
“... on Critical Information Infrastructure Security, CRITIS 2010, held in Athens, Greece in September 2010. The 12...”
Cover Image
Read Now

11
by Jeftovic, Mark E.
Published 2018
Packt Publishing
Cover Image
Read Now

12
Published 2019
Springer International Publishing
Table of Contents: “...Invited paper -- Analysis and Verification of Safety-Critical Systems -- Analysis of Timed Systems...”
Cover Image
Read Now

13
Published 2020
Springer International Publishing
“... Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019. The 6 revised...”
Cover Image
Read Now

14
Published 2015
Springer International Publishing
Table of Contents: “...Case studies and experience reports on the use of formal methods for analyzing -- Safety-critical...”
Cover Image
Read Now

15
Published 2014
Springer International Publishing
“... related to the application of formal and semi-formal methods to improve the quality of safety-critical...”
Cover Image
Read Now

16
Published 2003
Springer London
“...Current Issues in Safety-Critical Systems contains the invited papers presented at the eleventh...”
Cover Image
Read Now

17
Published 1993
Springer Vienna
Table of Contents: “... Distributed Systems -- Safety-Critical Industrial Systems -- A “Strongly-Fail-Safe Majority Voted Output...”
Cover Image
Read Now

18
Published 1992
Springer Vienna
Table of Contents: “... Intelligent System for Critical Applications -- Implementing Forward Recovery Using Checkpoints in Distributed...”
Cover Image
Read Now

19
Published 1995
Springer Vienna
Table of Contents: “...Formal Methods for Critical Systems -- On Doubly Guarded Multiprocessor Control System Design...”
Cover Image
Read Now

20
Published 1997
Springer US
Table of Contents: “... Dependable Computing Architecture for Safety-Critical Control Applications -- The ProCoS Approach to Correct...”