Used together with:
verif
(1)
time
(1)
case
(1)
circuit
(1)
studi
(1)
Stem
ipcmo$ (
all stems
)
1 papers:
DATE-2002-PenaCSP
#case study
#verification
A Case Study for the Verification of Complex Timed Circuits: IPCMOS (
MAP
,
JC
,
ABS
,
EP
), pp. 44–51.
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
.
DATE-2002-PenaCSP #case study #verification
DATE-2002-PenaCSP #case study #verification