共 50 条
- [32] A compositional real-time semantics of STATEMATE designs [J]. COMPOSITIONALITY: THE SIGNIFICANT DIFFERENCE, 1998, 1536 : 186 - 238
- [34] A Real-Time Processor Model with Timing Semantics [J]. Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2021, 58 (06): : 1176 - 1191
- [37] A real-time semantics of temporal logic of actions [J]. JOURNAL OF LOGIC AND COMPUTATION, 2003, 13 (06) : 921 - 937
- [38] A Real-Time Semantics for the IEC 61499 standard [J]. PROCEEDINGS OF 2015 IEEE 20TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2015,
- [39] Formal semantics of UML with real-time constructs [J]. UML 2003 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: MODELING LANGUAGES AND APPLICATIONS, 2003, 2863 : 60 - 75