C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems.
Manzoor Ahmad
Nicolas Belloir
Jean-Michel Bruel
Published in:
J. Syst. Softw. (2015)
Keyphrases
</>
intelligent systems
real world
management system
distributed systems
machine learning
e learning
metadata
high level
intelligent agents
model checking