Login / Signup
Verification, Validation and Uncertainty Quantification of Large-Scale Applications with QCG-PilotJob.
Bartosz Bosak
Tomasz Piontek
Paul Karlshoefer
Erwan Raffin
Jalal Lakhlili
Piotr Kopta
Published in:
ICCS (5) (2021)
Keyphrases
</>
model checking
real world
data sets
small scale
database
real life
decision theory
concurrent systems
learning algorithm
e learning
rough sets
belief functions
formal verification
verification method
inherent uncertainty