On the Verification by Approximation of Duration Systems.

Narjes Berregeb Riadh Robbana

Published in: Int. Arab J. Inf. Technol. (2004)

Keyphrases

expert systems
computer systems
computing systems
data sets
neural network
multiscale
source code
intelligent systems
building blocks
formal methods
approximation error
formal verification
automated verification