Login / Signup
Testing Reactive Systems Using Behavioural Programming, a Model Centric Approach.
Yeshayahu Weiss
Published in:
CoRR (2021)
Keyphrases
</>
reactive systems
computational model
machine learning
formal methods
design process
petri net