Computer systems - Verification.
Overview
Works: | 7 works in 2 publications in 2 languages |
---|
Titles
25 Years of Model Checking = History, Achievements, Perspectives /
by:
(Language materials, printed)
The inverse method = parametric verification of real-time embedded systems /
by:
(Electronic resources)
Semi-physical verification technology for dynamic performance of internet of things system
by:
(Electronic resources)
Subjects