共 50 条
- [33] The real-time refinement calculus: A foundation for machine-independent real-time programming APPLICATIONS AND THEORY OF PETRI NETS 2002, 2002, 2360 : 44 - 58
- [34] 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
- [36] A DISTRIBUTED, REAL-TIME PROGRAMMING LANGUAGE FOR ROBOTICS PROCEEDINGS - 1989 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOL 1-3, 1989, : 1010 - 1015
- [37] Bounded incremental real-time dynamic programming PROCEEDINGS OF THE FRONTIERS IN THE CONVERGENCE OF BIOSCIENCE AND INFORMATION TECHNOLOGIES, 2007, : 637 - 644
- [38] Timestamp Peripherals for Precise Real-Time Programming 2023 21ST ACM-IEEE INTERNATIONAL SYMPOSIUM ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, MEMOCODE, 2023, : 137 - 147