Keywords = Run-time verification
Number of Articles: 1

A Specification-Based Approach to Generate Verification Rules of Reactive Software

Volume 10, Issue 1, Spring 2010, Pages 13-38

Seyed Morteza Babamir, sayed Jalili

The Modares Journal of Electrical Engineering