Model-Based Verification of the DMAMAC Protocol for Real-time Process Control.

Admar Ajith Kumar Somappa, Andreas Prinz, Lars Michael Kristensen

Browse the full VECoS paper archive.