Verification and Control of Hybrid Systems: A Symbolic Approach

Control of Hybrid Systems
Wo zu kaufen (1) Eigenschaften
Gesponsert
Verification and Control of Hybrid Systems, Fachbücher von Paulo Tabuada
Galaxus.de
139.09 EUR
Preis aktualisiert am: 02-07-2026 01:52:46
Siehe Produktangebot

Allgemein

Marke
Paulo Tabuada
ISBN
Paulo Tabuada 1441954988

Eigenschaften

Ähnliche Produkte

Low-Power Design and Power-Aware Verification
Low-Power Design and Power-Aware Verification
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
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ü