Verification and Control of Hybrid Systems: A Symbolic Approach

Control of Hybrid Systems
Wo zu kaufen (2) Eigenschaften
Gesponsert
Verification and Control of Hybrid Systems: A Symbolic Approach
Medimops DE
126.65 EUR
Preis aktualisiert am: 06-09-2026 23:26:03
Siehe Produktangebot
Gesponsert
Verification and Control of Hybrid Systems
SpringerLink DE
153.50 EUR
Preis aktualisiert am: 07-09-2026 11:22:56
Siehe Produktangebot

Allgemein

Marke
Paulo Tabuada
ISBN
Paulo Tabuada 1441954988

Eigenschaften

Ähnliche Produkte

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
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
Menü