http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Scheduling and Memory Requirements Analysis with AADL
Singhoff, F.; Legrand, J.; Nana, L.; Marce, L. ACM; 1999 2005 p.1-10
Experimental Performance Analysis of Ada Programs in Cluster System
Alexandr, K.; Imad, S.; Dmitry, K. ACM; 1999 2005 p.31-36
The Implementation of Ada 2005 Synchronized Interfaces in the GNAT Compiler
Miranda, J.; Schonberg, E.; Kirtchev, H. ACM; 1999 2005 p.41-48
Temporal Skeletons for Verifying Time
Naeser, G.; Lundqvist, K.; Asplund, L. ACM; 1999 2005 p.49-56
The Affordable Application of Formal Methods to Software Engineering
Davis, J. F. ACM; 1999 2005 p.57-62
SafetyChip: A Time Monitoring and Policing Device
Naeser, G.; Asplund, L.; Furunas, J. ACM; 1999 2005 p.63-68