共 15 条
[1]
ALTILSEN K, 1999, P REAL TIM SYST S RT
[2]
Balarin F., 1999, Proceedings 1999 IEEE International Conference on Computer Design: VLSI in Computers and Processors (Cat. No.99CB37040), P634, DOI 10.1109/ICCD.1999.808608
[3]
Cortés LA, 2000, EUROMICRO CONF PROC, P106, DOI 10.1109/EURMIC.2000.874622
[4]
*EUR TEL STAND I, 1999, AT COMM GSM MOB EQ M
[5]
Formal synthesis and code generation of embedded real-time software
[J].
PROCEEDINGS OF THE NINTH INTERNATIONAL SYMPOSIUM ON HARDWARE/SOFTWARE CODESIGN,
2001,
:208-213
[6]
HSIUNG PA, 1998, P 27 INT C TECHN OBJ
[7]
HSIUNG PA, 2001, IN PRESS 8 AS PAC SO
[9]
LIN JF, 1995, IEICE T INF SYST, VE78D, P263
[10]
Lippert Martin, P ICSE 2000