Compositional Verification of Hybrid Systems Using Simulation Relations
G. Frehse
Compositional Verification of Hybrid Systems Using Simulation Relations
Paperback220 pagina’sNederlands
In het kort
Bibliografisch
ISBN-139789090198248
Editie1
TaalNederlands dut
Pagina’s220
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Informatiekunde 983
NUR (alle)983 Informatiekunde
Medewerkers
Auteur A01G. Frehse
Herkomst
Werk-id (NSTC)501095625
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
AI — Emergence and the Limits of Control
KI — Emergenz und die Grenzen der Kontrolle
Variable Limits
VERSLAIFD - Verslaafd aan jezelf in de spiegel van AI
Computatietheorie
A&I ARIA: De Menselijke Regisseur Samenwerken met AI zonder jezelf te verliezen
Drie AI's, een Mens
Drie AI's, een Mens
Artificial Intelligence voor Ambtenaren
Freedom First
NSTC 501095625 · CB-relatie 9957563 · Bijgewerkt 6 augustus 2026