A Framework for Critical Interactive System Formal Modelling and Analysis.

Published in: ABZ (2020)

Keyphrases

image analysis
statistical analysis
machine learning
learning algorithm
theoretical framework
analysis tool
database
complexity analysis
conceptual framework
formal model
conceptual model
lightweight
user interaction
evolutionary algorithm
data analysis
genetic algorithm
data mining