Login / Signup
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours.
Ismail Mendil
Peter Riviere
Yamine Aït Ameur
Neeraj Kumar Singh
Dominique Méry
Philippe A. Palanque
Published in:
APSEC (2022)
Keyphrases
</>
domain specific
real time
statistical models
domain independent
experimental data
analytical methods
database
automatic analysis
statistical model
statistical analysis
data analysis
website
metadata
feature selection
social networks
neural network
data sets