Used together with:
specif
(1)
distribut
(1)
time
(1)
ssynchron
(1)
formal
(1)
Stem
aptl$ (
all stems
)
1 papers:
ICSE-1992-WangME
#distributed
#realtime
#specification
Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL (
FW
,
AKM
,
EAE
), pp. 188–198.
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
.