Specification of Embedded Monitors for Property Checking

Electronic Chips & Systems Design Languages ◽

10.1007/978-1-4757-3326-6_24 ◽

2001 ◽

pp. 285-294

Author(s):

A. Allara ◽

M. Bombana ◽

S. Comai ◽

B. Josko ◽

R. Schlör ◽

...

Download Full-text