http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems
Aussagues, C.; David, V. IEEE; 1999 1998 p.2-12
Evaluating the Performance of Group Membership Protocols
Suciu, O.; Cristian, F. IEEE; 1999 1998 p.13-23
Amaro, C. C.; Baruah, S. S.; Stoyen, A. D. IEEE; 1999 1998 p.24-35
Metrics and Tool for System Assessment
Bucci, G.; Fioravanti, F.; Nesi, P.; Perlini, S. IEEE; 1999 1998 p.36-46
Design Patterns in Petri Net System Modeling
Naedele, M.; Janneck, J. W. IEEE; 1999 1998 p.47-54
Building Soft Real-Time Monitors Based on Software Reuse
Hsu, M.-L.; Kuo, T.-W. IEEE; 1999 1998 p.55-67
The Architecture Tradeoff Analysis Method
Kazman, R.; Klein, M.; Barbacci, M.; Longstaff, T. IEEE; 1999 1998 p.68-78
Open Complex Computer Systems are No Silver Bullet
O'Neill, T.; Leaney, J. IEEE; 1999 1998 p.79-86
An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL
Liu, S.; Asuka, M.; Komaya, K.; Nakamura, Y. IEEE; 1999 1998 p.100-114