共 50 条
- [32] Real-Time Ticks for Synchronous Programming 2017 FORUM ON SPECIFICATION AND DESIGN LANGUAGES (FDL), 2017,
- [36] ES LISP - A COMMON LISP PROGRAMMING SYSTEM AND ENVIRONMENT FOR PERSONAL-COMPUTER (PC) SOFTWARE DEVELOPMENT TRENDS, 1989, 104 : 201 - 210
- [38] The real-time refinement calculus: A foundation for machine-independent real-time programming APPLICATIONS AND THEORY OF PETRI NETS 2002, 2002, 2360 : 44 - 58
- [39] Scheduling real-time processes in a visual programming environment for real-time systems (ViPERS) 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 1768 - 1773