Verifying Scenario-Based Aspect Specifications.

Emilia Katz Shmuel Katz

Published in: FM (2005)

Keyphrases

delay insensitive
high level
specification language
formal specification language
data mining
multiscale
artificial neural networks
model checking
control flow
emergent behavior