Enabling Run-Time System Verification through Built-In Testing
2005 ◽
Vol 1
(3/4)
◽
pp. 193
◽
2009 ◽
Vol 4
(2)
◽
pp. 120-124