Verification and Control of Hybrid Systems: A Symbolic Approach

Control of Hybrid Systems
Wo zu kaufen (3) Eigenschaften
Gesponsert
Verification and Control of Hybrid Systems: A Symbolic Approach
Medimops DE
139.09 EUR
Preis aktualisiert am: 17-05-2026 06:16:27
Siehe Produktangebot
Gesponsert
Verification and Control of Hybrid Systems
SpringerLink DE
139.09 EUR
Preis aktualisiert am: 17-05-2026 07:15:52
Siehe Produktangebot
Gesponsert
Verification and Control of Hybrid Systems, Fachbücher von Paulo Tabuada
Galaxus.de
139.09 EUR
Preis aktualisiert am: 16-05-2026 19:53:06
Siehe Produktangebot

Allgemein

Marke
Paulo Tabuada
ISBN
Paulo Tabuada 1441954988

Eigenschaften

Ähnliche Produkte

ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
Produkt anzeigen
A Unified Approach for Timing Verification and Delay Fault Testing
A Unified Approach for Timing Verification and Delay Fault Testing
Produkt anzeigen
Verifying Calculations
Verifying Calculations - Forty Years On: An Overview of Classical Verification Techniques for FEM Simulations (SpringerBriefs in Applied Sciences and Technology)
Produkt anzeigen
Low-Power Design and Power-Aware Verification
Low-Power Design and Power-Aware Verification
Produkt anzeigen
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Notes in Computer Science, Band 7610)
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Notes in Computer Science, Band 7610)
Produkt anzeigen
Menü