Enabling Tool Support for
Formal Analysis of ECA Rules
AnnMarie
Ericsson
Linköping Studies in Science and Technology Dissertation No. 1262
Department of Computer and Information Science Linköpings universitet
SE-581 83 Linköping, Sweden Linköping 2009
AnnMarie Ericsson Enabling T
ool Support for F
ormal Analysis of ECA Rules 2009
Enabling Tool Support for
Formal Analysis of ECA Rules
AnnMarie
Ericsson
Linköping Studies in Science and Technology Dissertation No. 1262
Department of Computer and Information Science Linköpings universitet
SE-581 83 Linköping, Sweden Linköping 2009
AnnMarie Ericsson Enabling T
ool Support for F
ormal Analysis of ECA Rules 2009