Used together with:
rtl
(1)
verif
(1)
common
(1)
environ
(1)
reusabl
(1)
Stem
bca$ (
all stems
)
1 papers:
DATE-2005-FalconeriNR04
#modelling
#reuse
#verification
Common Reusable Verification Environment for BCA and RTL Models (
GF
,
WN
,
NR
), pp. 272–277.
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
.