Creation and Validation of Embedded Assertion Statecharts

Seventeenth IEEE International Workshop on Rapid System Prototyping (RSP'06) ◽

10.1109/rsp.2006.12 ◽

2006 ◽

Cited By ~ 7

Author(s):

D. Drusinsky ◽

M.-T. Shing ◽

K.A. Demir

Download Full-text