Runtime Verification of Interactions: From MSCs to Aspects.

Ingolf H. Krüger Michael Meisinger Massimiliano Menarini

Published in: RV (2007)

Keyphrases

model checking
real time
main aspects
machine learning
genetic algorithm
decision making
multiscale
multi agent
formal verification