Symbolic Verification and Analysis of Discrete Timed Systems.

Jürgen Ruf Thomas Kropf

Published in: Formal Methods Syst. Des. (2003)

Keyphrases

statistical analysis
real time
databases
expert systems
neural network
artificial intelligence
computer vision
formal analysis
safety analysis
information retrieval
objective function
image analysis
management system
distributed systems
computer systems
formal verification