Synchronous Equivalence : :: SCD d'Orléans

Synchronous Equivalence : Formal Methods for Embedded Systems

Synchronous Equivalence : Formal Methods for Embedded Systems

Salvato in:

Dettagli Bibliografici
Autori principali:	Hsieh, Harry, Balarin, Felice (Autore), Sangiovanni-Vincentelli, Alberto, 1947-...., mathématicien (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:	• Synchronous Equivalence, Formal Methods for Embedded Systems

Documenti analoghi

Synchronous programming of reactive systems
di: Halbwachs, Nicolas, 1953-...., informaticien

The near-synchronous polar
di: R. Staubert, et al.
Pubblicazione: (2003)

Linear synchronous motors : transportation and automation systems
di: Gieras, Jacek F., et al.
Pubblicazione: (2000)

Hardware-Software Co-Design of Embedded Systems : The POLIS Approach
di: Balarin, Felice, et al.

Function/Architecture Optimization and Co-Design of Embedded Systems
di: Tabbara, Bassam, et al.

Permanent Magnet Synchronous Machines
di: Eriksson, Sandra
Pubblicazione: (2021)

Synchronous motion in the Kinoshita problem
di: S. Breiter, et al.
Pubblicazione: (2005)

Simplified Synchronous Machine Model.
Pubblicazione: (2024)

AC Synchronous Machine Synchronization.
Pubblicazione: (2018)

AC Synchronous Machine Characterization.
Pubblicazione: (2018)

Non-synchronous rotations in massive binary systems
di: C. Putkuri, et al.
Pubblicazione: (2018)

Non-synchronous rotations in massive binary systems
di: C. Putkuri, et al.
Pubblicazione: (2021)

Non-synchronous rotation in massive binary systems
di: C. Putkuri, et al.
Pubblicazione: (2026)

Flows, circulations, and energy transport in the outer and deep atmospheres of synchronous and non-synchronous hot Jupiters
di: Félix Sainsbury-Martinez, et al.
Pubblicazione: (2024)

Memory safety for synchronous reactive programming
di: Rammal, Darine, 1996-
Pubblicazione: (2024)

Synthesizing synchronous systems by static scheduling in space-time
di: Lisper, Björn

Formal Equivalence Checking and Design Debugging
di: Huang, Shi-Yu, et al.

Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems
di: Demir, Alper, et al.

Une égalité sans équivalence. Pour une anthropologie du commun
di: Walker, Harry
Pubblicazione: (2023)

Équivalences.

Consistent tidal and rotational models for satellites in synchronous rotation
di: Andrea Magnanini, et al.
Pubblicazione: (2026)

Topics in Orbit Equivalence
di: Kechris, Alexander Sotirios, 1946-...., mathématicien, et al.

Noise Analysis of Radio Frequency Circuits
di: Mehrotra, Amit, et al.

Synchronous pattern of fluctuation in three anchovy fisheries in the Humboldt Current System
di: Luis A. Cubillos, et al.
Pubblicazione: (2007)

Sequential Optimization of Asynchronous and Synchronous Finite-State Machines : Algorithms and Tools
di: Fuhrer, Robert M., et al.

Equivalences et confrontations.
Pubblicazione: (1963)

Equivalent Capacitance.
Pubblicazione: (2022)

Equivalent Couples.
Pubblicazione: (2023)

Equivalent Resistance.
Pubblicazione: (2024)

Equivalent Capacitance.
Pubblicazione: (2024)

Pharmaceutical Equivalents.
Pubblicazione: (2024)

Principle of Equivalence.
Pubblicazione: (2022)

Delivering task instructions in multimodal synchronous online language teaching
di: Satar, Müge, et al.
Pubblicazione: (2020)

Derived Equivalences for Group Rings
di: König, Steffen, 1961-, et al.

Equivalences diodes = Diodes equivalence = = Diodenäquivalenzen = = Equivalencias de diodos = = Equivalenze diodi
di: Félétou, Gérard
Pubblicazione: (1989)

Relaxation Techniques for the Simulation of VLSI Circuits
di: White, Jacob K., et al.

Algorithms for Synthesis and Testing of Asynchronous Circuits
di: Lavagno, Luciano, 1959-, et al.

Equivalence of measure preserving transformations
di: Ornstein, Donald Samuel, 1934-, et al.
Pubblicazione: (1982)

Tracing the evolution of short-period binaries with super-synchronous fast rotators
di: N. Britavskiy, et al.
Pubblicazione: (2024)

Three-Phase Short Circuit<U+2014>Unloaded Synchronous Machine.
Pubblicazione: (2024)

© 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