共 13 条
[1]
DROSOS C, 2004, P COMPUTERS DIGITAL, P173
[2]
Edwards M., 2003, UML REAL, P127
[3]
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
[J].
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING,
2002, 51 (01)
:43-75
[5]
Symmetric multiprocessing on programmable chips made easy
[J].
DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS,
2005,
:240-245
[6]
KANGAS T, 2006, P EMBEDDED COMPUTING
[7]
UML 2.0 profile for embedded system design
[J].
DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS,
2005,
:710-715
[8]
UML 2.0 implementation of an embedded WLAN protocol
[J].
2004 IEEE 15TH INTERNATIONAL SYMPOSIUM ON PERSONAL, INDOOR AND MOBILE RADIO COMMUNICATIONS, VOLS 1-4, PROCEEDINGS,
2004,
:1158-1162
[9]
LEHTORANTA O, 2005, P FPL 05, P1
[10]
Massa A., 2002, EMBEDDED SOFTWARE DE