Login / Signup
Test Sequence Generation From Formally Verified SysML Models.
Pierre de Saqui-Sannes
Ludovic Apvrille
Published in:
Software Engineering (Workshops) (2019)
Keyphrases
</>
statistical models
parameter estimation
complex systems
mathematical models
prior knowledge
probabilistic model
markov random field
metamodel