Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management.

Muffy Calder, Michele Sevegnani

Browse the full IFM paper archive.