Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management
2012 ◽
pp. 21-23
◽
Keyword(s):