Rteq: modeling and validating infinite-state hard-real-time systems.

Published in: ASE (2007)

Keyphrases

modeling method
wide range
viewpoint
probability distribution
data sets
neural network
metadata
natural language
object recognition