Monitoring Off-the-Shelf Components

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/11609773_15 ◽

2005 ◽

pp. 222-236 ◽

Cited By ~ 6

Author(s):

A. Prasad Sistla ◽

Min Zhou ◽

Lenore D. Zuck

Download Full-text