共 50 条
- [1] SEW: A toolset for design and analysis of distributed real-time systems [J]. THIRD IEEE REAL-TIME TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 1997, : 72 - 77
- [2] Towards a toolset for architectural design of distributed real-time control systems [J]. 22ND IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2001, : 267 - 276
- [3] Toolset for distributed real-time machine control [J]. OPEN ARCHITECTURE CONTROL SYSTEMS AND STANDARDS, 1997, 2912 : 2 - 12
- [5] A combined toolset for the verification of real-time distributed systems [J]. Programming and Computer Software, 2015, 41 : 325 - 335
- [7] Design and Implementation of Real-Time Distributed Systems with the ASSERT Virtual Machine [J]. 2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2010,