Used together with:
space
(1)
autom
(1)
state
(1)
rectif
(1)
function
(1)
Stem
unreach$ (
all stems
)
1 papers:
DATE-2015-BerryhillV
#automation
#functional
Automated rectification methodologies to functional state-space unreachability (
RB
,
AGV
), pp. 1401–1406.
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
.