共 50 条
- [31] Techniques for implementing real-time protocols for mobile communications systems [J]. Telsiks 2005, Proceedings, Vols 1 and 2, 2005, : 85 - 88
- [32] Model synthesis for real-time systems [J]. NINTH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS, 2005, : 52 - 60
- [33] AN INTERLEAVING MODEL FOR REAL-TIME SYSTEMS [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 620 : 81 - 92
- [36] Demo Abstract: Real-time Burst Event Detection in Water Distribution Systems [J]. PROCEEDINGS OF THE 9TH ACM/IEEE INTERNATIONAL CONFERENCE ON INFORMATION PROCESSING IN SENSOR NETWORKS, 2010, : 444 - 445
- [39] Digital real-time simulation for distribution systems [J]. 2000 IEEE ESMO - 2000 IEEE 9TH INTERNATIONAL CONFERENCE ON TRANSMISSION & DISTRIBUTION CONSTRUCTION, OPERATION & LIVE-LINE MAINTENANCE PROCEEDINGS, 2000, : 252 - 258
- [40] An algebraic framework for developing and maintaining real-time systems [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1995, 936 : 338 - 352