共 35 条
[1]
Balbo G., 1995, Proceedings of the Sixth International Workshop on Petri Nets and Performance Models (Cat. No.95TB100003), P2, DOI 10.1109/PNPM.1995.524310
[2]
Memory fault tolerance software mechanisms: Design and configuration support through SWN models
[J].
THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS,
2003,
:111-121
[3]
BALLARINI P, P INT C DEP SYST NET, P773
[4]
BALSAMO S, 2003, P 9 EUR SOFTW ENG C, P363, DOI DOI 10.1145/940071.940122
[5]
BARESI L, 2001, LNCS, V2001, P276
[7]
BERNARDI S, 2002, P 3 INT WORKSH SOFTW, P35
[9]
BOBBIO A, 2001, P EUR SAF REL C ESRE, P411
[10]
Bondavalli A, 2001, COMPUT SYST SCI ENG, V16, P265