Login / Signup

Dynamic Timed Automata for Reconfigurable System Modeling and Verification.

Samir TiganeFayçal GuerroufNadia HamaniLaïd KahloulMohamed KhalguiMasood Ashraf Ali
Published in: Axioms (2023)
Keyphrases
  • timed automata
  • model checking
  • reachability analysis
  • general purpose
  • low cost
  • dynamic environments
  • formal verification
  • neural network
  • temporal logic
  • databases
  • modeling method
  • formal methods
  • colored petri nets