Used together with:
time
(2)
real
(1)
automata
(1)
tool
(1)
java
(1)
Stem
tart$ (
all stems
)
1 papers:
SEFM-2010-HakimipourSW
#java
#named
#realtime
TART: Timed-Automata to Real-Time Java Tool (
NH
,
PAS
,
AJW
), pp. 299–309.
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
.