Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance

Jon Haël Brenas, Martin Strecker, Rachid Echahed, Arash Shaban-Nejad. Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance. IEEE Access, 6:64728-64741, 2018. [doi]

Authors

Jon Haël Brenas

This author has not been identified. Look up 'Jon Haël Brenas' in Google

Martin Strecker

This author has not been identified. It may be one of the following persons: Look up 'Martin Strecker' in Google

Rachid Echahed

This author has not been identified. It may be one of the following persons: Look up 'Rachid Echahed' in Google

Arash Shaban-Nejad

This author has not been identified. Look up 'Arash Shaban-Nejad' in Google