Formal Techniques in Real-Time and Fault-Tolerant Systems :: SCD d'Orléans

Formal Techniques in Real-Time and Fault-Tolerant Systems

Formal Techniques in Real-Time and Fault-Tolerant Systems

Đã lưu trong:

Chi tiết về thư mục
Tác giả khác:	Vytopil, Jan (Cộng tác viên)
Định dạng:	Livre numérique
Ngôn ngữ:	Anglais
Được phát hành:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Truy cập trực tuyến:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Chú thích:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Formal Techniques in Real-Time and Fault-Tolerant Systems, 978-1-4613-6414-6

Những quyển sách tương tự

Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988

Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings

Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings

Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings

Formal techniques in real-time and fault-tolerant systems : 5th international symposium, FTRTFT '98, Lyngby, Denmaek, September, 14-18, 1998 : proceedings

Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings

Formal techniques in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9 12, 2002 : proceedings

Fault-Tolerant Real-Time Systems : The Problem of Replica Determinism
Bằng: Poledna, Stefan

Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings
Bằng: Lakhnech, Yassine, 19..-

Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems

Fault Diagnosis and Fault Tolerance for Mechatronic Systems:Recent Advances

Fault Tolerance in Modern Engineering Systems
Được phát hành: (2026)

Fault-tolerant control systems : sesign and practical applications
Bằng: Noura, Hassan, et al.
Được phát hành: (2009)

Fault-tolerance techniques for SRAM-based FPGAs

Fault-tolerant design
Bằng: Dubrova, Elena, 19..-
Được phát hành: (2013)

Real Time Fault Monitoring of Industrial Processes
Bằng: Pouliezos, A. D., et al.

Defect and Fault Tolerance in VLSI Systems : Volume 2

Fault Tolerant Control Design for Hybrid Systems
Bằng: Yang, Hao, 1982-, et al.
Được phát hành: (2010)

Active fault tolerant control systems : stochastic analysis and synthesis
Bằng: Mahmoud, Mufeed M., et al.

Diagnosis and fault-tolerant control
Bằng: Blanke, Mogens
Được phát hành: (2006)

Fault-Tolerant Parallel Computation
Bằng: Kanellakis, Paris Christos, et al.

Diagnosis and Fault-Tolerant Control
Bằng: Blanke, Mogens, et al.

Fault-tolerant distributed computing
Bằng: Simons, Barbara

Diagnosis and fault-tolerant control
Bằng: Blanke, Mogens, et al.

Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems
Bằng: Hadjicostis, Christoforos N.

Fault Detection and Fault-Tolerant Control Using Sliding Modes
Bằng: Alwi, Halim, et al.
Được phát hành: (2011)

Fault-Tolerant Process Control : Methods and Applications
Bằng: Mhaskar, Prashant, et al.
Được phát hành: (2013)

Software-implemented hardware fault tolerance
Bằng: Goloubeva, Olga, et al.

Fault-Tolerant Attitude Control of Spacecraft
Bằng: Hu, Qinglei, 19..-, et al.
Được phát hành: (2021)

Fault-diagnosis systems : an introduction from fault detection to fault tolerance
Bằng: Isermann, Rolf, 1938-

Fault Tolerant Flight Control : A Benchmark Challenge
Bằng: Edwards, Christopher, 1966-

Formal methods for the design of real-time systems : international school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, september 13-18, 2004 : revised lectures
Bằng: Bernardo, Marco

Fault-tolerant Flight Control and Guidance Systems : Practical Methods for Small Unmanned Aerial Vehicles
Bằng: Ducard, Guillaume J.J
Được phát hành: (2009)

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS 99, Bamberg, Germany, May 26 28, 1999 : proceedings

Hardware and software architectures for fault tolerance : experiments and perspectives
Bằng: Banâtre, Michel

Process Monitoring, Fault Diagnosis, and Tolerant Control for Complex Industrial Systems
Được phát hành: (2025)

Real-time systems.
Được phát hành: (2002)

Real-time Systems
Được phát hành: (2021)

Real-Time Systems.

Reliability evaluation of some fault-tolerant computer architectures
Bằng: Osaki, Shunji, 1942-2021, et al.

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales