ESE Framework Verification by MBSE.

Miri Sitton Yoram Reich

Published in: IEEE Syst. J. (2019)

Keyphrases

main contribution
search algorithm
theoretical framework
database
real time
real world
information systems
case study
reinforcement learning
multiresolution
lightweight
model checking
software architecture
conceptual framework
computational framework