Login / Signup

Formalizing Time4sys using parametric timed automata.

Étienne André
Published in: TASE (2019)
Keyphrases
  • timed automata
  • model checking
  • reachability analysis
  • theorem prover
  • theorem proving
  • real time systems
  • first order logic
  • temporal logic
  • parametric models
  • real time
  • image processing
  • data structure
  • semi parametric