Used together with:
protocol
(1)
iso
(1)
use
(1)
verifi
(1)
protean
(1)
Stem
ftam$ (
all stems
)
1 papers:
CAV-1990-LaiPD
#on the
#protocol
#using
#verification
On Using Protean To Verify ISO FTAM Protocol (
RL
,
KRP
,
TSD
), pp. 126–135.
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
.