Computer systems - Verification.
Overview
Works: | 8 works in 2 publications in 2 languages |
---|
Titles
The inverse methodparametric 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