When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations.

Julien Dormoy Olga Kouchnarenko Arnaud Lanoix

Published in: FM (2012)

Keyphrases

temporal properties
model checking
possibility theory
structural information
software components
multi agent
random walk
formal methods
neural network
genetic algorithm
natural language
general purpose
software systems
decision rules
black box