Concepts of Cottbus Timed Automata.

Dirk Beyer Heinrich Rust

Published in: FBT (1999)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
bayesian networks
formal concept analysis
theorem proving
machine learning
data sets
real time
information systems
web services
database
search algorithm
artificial intelligence
concept learning
learning algorithm
databases