Login / Signup
Code Synthesis for Timed Automata.
Tobias Amnell
Elena Fersman
Paul Pettersson
Hongyan Sun
Wang Yi
Published in:
Nord. J. Comput. (2002)
Keyphrases
</>
timed automata
model checking
reachability analysis
theorem prover
source code
first order logic
theorem proving
information systems
computer vision
low cost
databases
data flow
texture synthesis
static analysis
real time systems
open source
website
error detection
code generation