Login / Signup

Translating EULYNX SysML Models into Symbolic Transition Systems for Model-Based Testing of Railway Signaling Systems.

Tobias BachmannDjurre van der WalMachiel van der BijlDaan van der MeijAna Oprescu
Published in: ICST (2022)
Keyphrases
  • transition systems
  • formal methods
  • reactive systems
  • distributed systems
  • concurrent systems
  • model checking
  • reinforcement learning
  • temporal logic