Refinement Modal Logic Based on Finite Approximation of Covariant-Contravariant Refinement.

Published in: IEEE Access (2019)

Keyphrases

real time
machine learning
information systems
case study
relational databases
data sets
web services
knowledge representation
greedy algorithm
approximation error
refinement process