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
NSTC 501095625 · CB-relatie 9957563 · Bijgewerkt 6 augustus 2026