Used together with:
critic
(1)
detect
(1)
time
(1)
light
(1)
error
(1)
Stem
lockstep$ (
all stems
)
1 papers:
DAC-2014-HernandezA
#detection
#fault
#named
#safety
LiVe: Timely Error Detection in Light-Lockstep Safety Critical Systems (
CH
,
JA
), p. 6.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.