Login / Signup

On the Modeling of Sequential Reactive Systems by Means of Real Time Automata.

Evgenii M. VinarskiiVladimir A. Zakharov
Published in: Autom. Control. Comput. Sci. (2021)
Keyphrases
  • reactive systems
  • real time
  • real time systems
  • control system
  • database
  • multi agent systems
  • model checking
  • formal methods
  • machine learning
  • user interface
  • low cost
  • temporal logic
  • regular expressions
  • information flow