Realizability and Dynamic Reconfiguration of Chor Specifications.

Nima Roohi Gwen Salaün

Published in: Informatica (Slovenia) (2011)

Keyphrases

dynamic reconfiguration
software systems
application specific
software architecture
functional requirements
delay insensitive
quality of service
formal specification
dynamic behavior
databases
specification language
high level
data sets
distributed systems
search engine
neural network
written in natural language