Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic

Federico Chesani, Paola Mello, Marco Montali, Sergio Storari. Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic. In Riccardo Bellazzi, Ameen Abu-Hanna, Jim Hunter, editors, Artificial Intelligence in Medicine, 11th Conference on Artificial Intelligence in Medicine, AIME 2007, Amsterdam, The Netherlands, July 7-11, 2007, Proceedings. Volume 4594 of Lecture Notes in Computer Science, pages 479-488, Springer, 2007. [doi]

Authors

Federico Chesani

This author has not been identified. Look up 'Federico Chesani' in Google

Paola Mello

This author has not been identified. Look up 'Paola Mello' in Google

Marco Montali

This author has not been identified. Look up 'Marco Montali' in Google

Sergio Storari

This author has not been identified. Look up 'Sergio Storari' in Google