Verification of Digital and Hybrid Systems
Broschiertes Buch

Verification of Digital and Hybrid Systems

Versandkostenfrei!
Versandfertig in 6-10 Tagen
75,99 €
inkl. MwSt.
PAYBACK Punkte
38 °P sammeln!
This book grew out of a NATO Advanced Study Institute summer school that was held in Antalya, TUrkey from 26 May to 6 June 1997. The purpose of the summer school was to expose recent advances in the formal verification of systems composed of both logical and continuous time components. The course was structured in two parts. The first part covered theorem-proving, system automaton models, logics, tools, and complexity of verification. The second part covered modeling and verification of hybrid systems, i. e. , systems composed of a discrete event part and a continuous time part that interact w...