A Unified Approach for Timing Verification and Delay Fault Testing :: SCD d'Orléans

A Unified Approach for Timing Verification and Delay Fault Testing

A Unified Approach for Timing Verification and Delay Fault Testing

Salvato in:

Dettagli Bibliografici
Autori principali:	Sivaraman, Mukund, Strojwas, Andrzej J. (Autore)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• A Unified Approach for Timing Verification and Delay Fault Testing, 978-1-4613-4639-5

Documenti analoghi

Delay Fault Testing for VLSI Circuits
di: Krstić, Angela, et al.

Verification-based software-fault detection
di: Gladisch, Christoph David
Pubblicazione: (2021)

Software testing, verification & reliability.
Pubblicazione: (1992)

Sequential Logic Testing and Verification
di: Ghosh, Abhijit, 1964-, et al.

Robust Filtering and Fault Detection of Switched Delay Systems
di: Wang, Dong, et al.
Pubblicazione: (2013)

Digital Timing Macromodeling for VLSI Design Verification
di: Kong, Jeong-Taek, et al.

Software testing, verification & reliability : STVR.

Discrete Mechanics A Unified Approach
di: Kardestuncer, Hayrettin

Integrating Timing Considerations to Improve Testing Practices
Pubblicazione: (2025)

Safety Verification of Real-Time Control Systems with Flexible Timing
di: Gaukler, Maximilian
Pubblicazione: (2025)

Linear Delay-Differential Systems with Commensurate Delays: An Algebraic Approach
di: Gluesing-Luerssen, Heide

Chapter The Unified Citizen Engagement Approach
di: Tjahja, Cyril, et al.
Pubblicazione: (2023)

Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Faults and Fault Lines
Pubblicazione: (2025)

Faults and Fault Lines. Introduction
di: Courtois, Cédric, et al.
Pubblicazione: (2025)

High Performance Memory Testing: Design Principles, Fault Modeling and Self-Test
di: Adams, R. Dean

Verification by Error Modeling : Using Testing Techniques in Hardware Verification
di: Radecka, Katarzyna, et al.

Spitzer IRS spectroscopy of 3CR radio galaxies and quasars: testing the unified schemes
di: M. Haas, et al.
Pubblicazione: (2005)

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

Fault Diagnosis of Nonlinear Systems Using a Hybrid Approach
di: Khorasani, Khashayar, et al.

A Unified approach to interior point algorithms for linear complementarity problems
di: Kojima, Masakazu, 1947-, et al.

A unified approach to perceiving sound in current experimental music genres
di: Wanke, Riccardo
Pubblicazione: (2024)

Testing the forward modeling approach in asteroseismology
di: S. Charpinet, et al.
Pubblicazione: (2008)

Testing the forward modeling approach in asteroseismology
di: V. Van Grootel, et al.
Pubblicazione: (2008)

Novel Approaches for Nondestructive Testing and Evaluation
Pubblicazione: (2022)

Unified Symmetry : In the Small and in the Large

Timing
di: Sapatnekar, Sachin S., 1967-
Pubblicazione: (2013)

Delay effects on stability : a robust control approach
di: Niculescu, Silviu-Iulian
Pubblicazione: (2001)

delay effects on stability : a robust control approach
di: Niculescu, Silviu-Iulian, 19..-...., auteur en automatique

Fault Lines
Pubblicazione: (2023)

Fault Detection
Pubblicazione: (2021)

La vérification
di: Granger, Gilles-Gaston, 1920-2016
Pubblicazione: (1991)

La Vérification
di: Granger, Gilles-Gaston, 1920-2016
Pubblicazione: (2022)

Fault Types.
Pubblicazione: (2024)

Unified Signal Theory
di: Cariolaro, Gianfranco
Pubblicazione: (2011)

Construction delays
Pubblicazione: (2017)

A unified supernova catalogue
di: D. Lennarz, et al.
Pubblicazione: (2012)

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

A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems
di: Mendoza Cervantes, Francisco
Pubblicazione: (2021)

Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 : revised Papers
di: Petrenko, Alexandre

© 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