Search

Your search keyword '"Arlat, Jean"' showing total 137 results

Search Constraints

Start Over You searched for: Author "Arlat, Jean" Remove constraint Author: "Arlat, Jean"
137 results on '"Arlat, Jean"'

Search Results

1. Benchmarking Safety Monitors for Image Classifiers with Machine Learning

2. Tolerance of Design Faults

4. Nanoscale Technologies: Prospect or Hazard to Dependable and Secure Computing?

10. Dependability Evaluation

11. Introduction and Overview

15. Dependability Modelling and Evaluation of Software Fault-Tolerant Systems

16. Estimators for Fault Tolerance Coverage Evaluation

17. Fault Injection into VHDL Models: The MEFISTO Tool

18. Integration and Comparison of Three Physical Fault Injection Techniques

19. Definition and Analysis of Hardware-and-Software Fault-Tolerant Architectures

21. Benchmarking Safety Monitors for Image Classifiers with Machine Learning

28. Fault injection for formal testing of fault tolerance

31. Reliability growth of fault-tolerant software

36. Supervision, surveillance et sûreté de fonctionnement des grands systèmes (Traité Systèmes Automatisés, IC2)

37. Guest Editorial for the Special Issue on the 2005 IEEE/IFIP Conference on Dependable Systems and Networks, including the Dependable Computing and Communications and Performance and Dependability Symposia

38. Secure architecture for information systems in avionics

39. Supervision, surveillance et sûreté de fonctionnement des grands systèmes

40. RobustWeb : development and validation of SOA applications based on Web services

41. Robustness Testing of Robot Controller Software

42. Criticality and Confidence Issues in Avionics

43. Revised reference model:HIDENETS D1.2

44. Identification and development of evaluation methodologies, techniques and tools:HIDENETS D4.1.2

45. ETALONNAGE DE LA SÛRETÉ DE FONCTIONNEMENT DE SYSTÈMES D'EXPLOITATION

50. Impact of internal and external software faults on the Linux kernel

Catalog

Books, media, physical & digital resources