Dynamic slicing of concurrent specification languages.

Marisa Llorens Javier Oliver Josep Silva Salvador Tamarit

Published in: Parallel Comput. (2016)

Keyphrases

specification languages
formal specification
dynamic environments
database
real time
case study
high level
bayesian networks
data model
object oriented programs