Login / Signup
Translating EULYNX SysML Models into Symbolic Transition Systems for Model-Based Testing of Railway Signaling Systems.
Tobias Bachmann
Djurre van der Wal
Machiel van der Bijl
Daan van der Meij
Ana Oprescu
Published in:
ICST (2022)
Keyphrases
</>
transition systems
formal methods
reactive systems
distributed systems
concurrent systems
model checking
reinforcement learning
temporal logic