Login / Signup
Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers.
Bence Graics
Vince Molnár
István Majzik
Published in:
FMICS (2023)
Keyphrases
</>
computational model
mathematical model
databases
probabilistic model
information retrieval
image processing
probability distribution
design process
conceptual model