Search alternatives:
"critic" » "critics", "critica", "critical"
Cover Image
Read Now

1
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

2
Published 2008
Springer US
Table of Contents: “... Metamodel for Critical Infrastructures -- Multigraph Dependency Models for Heterogeneous Infrastructures...”
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 1991
Springer Vienna
“...The International Working Conference on Dependable Computing for Critical Applications...”
Cover Image
Read Now

5
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

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 2011
Springer Berlin Heidelberg
“... on Critical Information Infrastructure Security, CRITIS 2010, held in Athens, Greece in September 2010. The 12...”
Cover Image
Read Now

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

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

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

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

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

13
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Design and Verification of Critical Embedded Systems Using SCADE and Esterel -- Research Papers -- Static...”
Cover Image
Read Now

14
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...Invited Presentations -- Formal Methods for Critical Systems -- Model-Based Verification...”
Cover Image
Read Now

15
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

16
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

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 1997
Springer US
Table of Contents: “... Dependable Computing Architecture for Safety-Critical Control Applications -- The ProCoS Approach to Correct...”
Cover Image
Read Now

19
Published 2023
Springer Nature Switzerland
“... and solutions related to smart critical infrastructure. In addition, it provides quantitative and qualitative...”
Cover Image
Read Now

20
Published 2019
Springer International Publishing
Table of Contents: “...Invited paper -- Analysis and Verification of Safety-Critical Systems -- Analysis of Timed Systems...”