C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Proof-based verification approaches for dynamic properties: application to the information system domain.
Amel Mammar
Marc Frappier
Published in:
Formal Aspects Comput. (2015)
Keyphrases
</>
information systems
machine learning algorithms
domain independent
domain specific
dynamic environments
application scenarios
neural network
evolutionary algorithm
machine learning
similarity measure
structural properties
strengths and weaknesses
desirable properties
dynamic behavior