Optimized Temporal Monitors for SystemC

Runtime Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-642-16612-9_33 ◽

2010 ◽

pp. 436-451 ◽

Cited By ~ 7

Author(s):

Deian Tabakov ◽

Moshe Y. Vardi

Download Full-text