Formal interaction specification in public health surveillance systems using -calculus

Publisher Website

1 October 2008

journal article
Published by Elsevier in Computer Methods and Programs in Biomedicine

Vol. 92 (1) , 115-120
https://doi.org/10.1016/j.cmpb.2008.05.007

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

A static compliance-checking framework for business process models
IBM Systems Journal, 2007
Improving medical protocols by formal methods
Artificial Intelligence in Medicine, 2006
Model Checking for E-Business Control and Assurance
IEEE Transactions on Systems, Man and Cybernetics, Part C (Applications and Reviews), 2005