Login / Signup

Races in Extended Input/Ouput Automata, Their Compositions and Related Reactive Systems.

Evgenii M. VinarskiiNatalia KushikNina YevtushenkoJorge LópezDjamal Zeghlache
Published in: ENASE (2024)
Keyphrases
  • reactive systems
  • model checking
  • data mining
  • temporal logic
  • information flow
  • cellular automata
  • petri net