Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care

Jeff Dallien, Wendy MacCaull, Allen Tien. Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care. In Ricardo Jorge Machado, João M. Fernandes, Flávio Rech Wagner, Rick Kazman, editors, Model-based Methodologies for Pervasive and Embedded Software, 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2008, Budapest, Hungary, April 5, 2008, Proceedings. pages 78-91, IEEE Computer Society, 2008. [doi]

Authors

Jeff Dallien

This author has not been identified. Look up 'Jeff Dallien' in Google

Wendy MacCaull

This author has not been identified. Look up 'Wendy MacCaull' in Google

Allen Tien

This author has not been identified. Look up 'Allen Tien' in Google