A time-window based approach for dynamic assertions mining on control signals
Keyword(s):
2004 ◽
Vol 51
(1)
◽
pp. 45-51
◽
Keyword(s):
Keyword(s):