C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Semantic based model of Conceptual Work Products for formal verification of complex interactive systems.
Mohcine Madkour
Keith A. Butler
Eric Mercer
Ali Bahrami
Cui Tao
Published in:
CoRR (2020)
Keyphrases
</>
formal verification
computational model
interactive systems
objective function
mathematical model
conceptual model
high level
e learning
bayesian networks
object oriented
statistical model