Executable assertions and timed traces for on-line software error detection

Author(s):  
C. Rabejac ◽  
J.-P. Blanquart ◽  
J.-P. Queille
Keyword(s):  
2013 ◽  
Vol 39 (2) ◽  
pp. 261-273
Author(s):  
Marija Punt ◽  
Milo Tomasevic ◽  
Jovan Djordjevic

Sign in / Sign up

Export Citation Format

Share Document