共 31 条
- [1] AN OLD-FASHIONED RECIPE FOR REAL-TIME [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (05): : 1543 - 1571
- [2] ALUR R, 1991, LNCS, V600, P74
- [3] ALUR R, 1994, THEORETICAL COMPUTER, V126, P235
- [4] [Anonymous], 1992, TEMPORAL LOGIC REACT, DOI DOI 10.1007/978-1-4612-0931-7
- [5] [Anonymous], 1991, P REAL TIM THEOR PRA
- [6] [Anonymous], 2007, P IEEE MILCOM 2007
- [7] BARBACCI MR, 1986, ESDTR86208 CARN MELL
- [8] THE SYNCHRONOUS APPROACH TO REACTIVE AND REAL-TIME SYSTEMS [J]. PROCEEDINGS OF THE IEEE, 1991, 79 (09) : 1270 - 1282
- [10] Buttazzo G., 2005, S COMP SCI, DOI 10.1007/0-387-28147-9.pdf