Login / Signup
Application of the DARTS Method for the Timed Automata to the Design of Real-Time Systems.
Cristina Santamaría
José Ramón González de Mendívil
José Ramón Garitagoitia
Carlos F. Alastruey
Published in:
Applied Informatics (1994)
Keyphrases
</>
real time systems
real time
bayesian networks
dynamic programming
software systems
first order logic
timed automata