1
Published 2022
Springer Nature Singapore
Table of Contents: ...Introduction -- Part I: Awareness-raising on the Importance of Critical Thinking in ESOL Classrooms...

2
Published 2010
Springer Berlin Heidelberg
Table of Contents: ...-Tolerant Techniques into the Design of Critical Systems -- Component Behavior Synthesis for Critical...

3
Published 2008
Springer US
Table of Contents: ... Metamodel for Critical Infrastructures -- Multigraph Dependency Models for Heterogeneous Infrastructures...

4
Published 2017
Springer International Publishing
..., design, construction and use of communication in critical embedded systems...

5
Published 1991
Springer Vienna
...The International Working Conference on Dependable Computing for Critical Applications...

6
Published 2003
Springer US
...Security Education and Critical Infrastructures presents the most recent developments in research...

7
Published 2011
Springer Berlin Heidelberg
... on Critical Information Infrastructure Security, CRITIS 2010, held in Athens, Greece in September 2010. The 12...

8
Published 2010
Springer Berlin Heidelberg
Table of Contents: ...On Modelling of Inter-dependent Network Infrastructures by Extended Leontief Models -- Critical...

9
Published 2008
Springer US
Table of Contents: ...Themes And Issues -- Emergent Risks In Critical Infrastructures -- Cyberspace Policy For Critical...

10
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... Processing in Data Streams -- An Approach to Trust Management Challenges for Critical Infrastructures...

11
Published 2014
Springer International Publishing
Table of Contents: ... for Critical Intercultural Education -- Chapter 5: Can Teachers Know Learners’ Minds? Teacher Empathy...

12
Published 2017
Springer International Publishing
... Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016. The 9 revised...

13
Published 2016
Springer International Publishing
... Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015. The 15 revised...

14
Published 1992
Springer Vienna
Table of Contents: ... Intelligent System for Critical Applications -- Implementing Forward Recovery Using Checkpoints in Distributed...

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

16
Published 2014
Springer International Publishing
... related to the application of formal and semi-formal methods to improve the quality of safety-critical...

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

18
Published 1995
Springer Vienna
Table of Contents: ...Formal Methods for Critical Systems -- On Doubly Guarded Multiprocessor Control System Design...

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

20
Published 2003
Springer London
...Current Issues in Safety-Critical Systems contains the invited papers presented at the eleventh...