共 50 条
- [42] DESIGN DESCRIPTION LANGUAGES FOR THE DESIGN OF PREDICTABLY DEPENDABLE REAL-TIME SYSTEMS IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 598 - 598
- [45] Specification and verification of a real-time field bus with formal description languages TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 415 - 429
- [48] Times Square - Marriage of Real-Time and Logical-Time in GALS and Synchronous Languages JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 2016, 84 (01): : 163 - 180
- [49] Times square - marriage of real-time and logical-time in GALS and synchronous languages 2014 IEEE 20TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA), 2014,
- [50] Times Square – Marriage of Real-Time and Logical-Time in GALS and Synchronous Languages Journal of Signal Processing Systems, 2016, 84 : 163 - 180