TIC: A Timed Calculus for LOTOS.

Juan Quemada Arturo Azcorra David de Frutos-Escrig

Published in: FORTE (1989)

Keyphrases

timed automata
model checking
petri net
theorem prover
neural network
artificial intelligence
markov chain
theorem proving
relational calculus
automated deduction
temporal ordering
decision making
knowledge base
first order logic
data sets
finite state machines
discrete event
databases