Computer systems - Verification.

Overview

Works:	8 works in 2 publications in 2 languages

Titles

25 Years of Model CheckingHistory, Achievements, Perspectives / by: (Electronic resources)

Principles of model checking by: (Language materials, printed)

Verification and control of hybrid systemsa symbolic approach / by: (Electronic resources)

Scalable techniques for formal verification by: (Electronic resources)

The inverse methodparametric verification of real-time embedded systems / by: (Electronic resources)

Dependable software systems engineering by: (Electronic resources)

Formal system verificationstate-of the-art and future trends / by: (Electronic resources)

Semi-physical verification technology for dynamic performance of internet of things system by: (Electronic resources)

Subjects

Control.