Property Preserving Redesign of Specifications.

Artur Zawlocki Grzegorz Marczynski Piotr Kosiuczenko

Published in: CALCO (2005)

Keyphrases

business process
formal specification
data sets
machine learning
high level
video sequences
delay insensitive
clustering algorithm
bayesian networks
model checking
formal descriptions