TART: Timed-automata to real-time Java Tool

被引：0

作者：

School of ITEE, University of Queensland, St. Lucia, QLD, Australia ^{[1
]}

不详 ^{[2
]}

机构：

来源：

Proc. - Softw. Eng. Form. Methods, SEFM | / 299-309期

关键词：

Compendex;

D O I：

5637397

中图分类号：

学科分类号：

摘要：

Java programming language

引用