A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems.

Narges Khakpour Jetty Kleijn Marjan Sirjani

Published in: FSEN (2019)

Keyphrases

formal model
security patterns
expert systems
complex systems
structural information
formal models
control system
real time
management system
description logics
distributed systems
software development
building blocks
semantic network
security properties