http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
A Petri Net Based Method for Storage Units Estimation
Machado, A.; Maciel, P. Institute of Electrical and Electronics Engineers 2003 p.1025-1031
From High-Level Petri Nets to System C
Rust, C.; Rettberg, A.; Gossens, K. Institute of Electrical and Electronics Engineers 2003 p.1032-1038
A Petri Net Based Supervisory Control Implementation
Flochova, J. Institute of Electrical and Electronics Engineers 2003 p.1039-1044
Modeling and Verification of TCP Congestion Control Based on Colored Petri Nets
Bao, G.; Liu, F.; Hong, L. Institute of Electrical and Electronics Engineers 2003 p.1045-1050
Structural Sensitivity for the Conflicts Analysis in Petric Nets
Lefebvre, D. Institute of Electrical and Electronics Engineers 2003 p.1051-1058
Algorithm MSEL for Determining Observational Equivalence in Object-Oriented Class-Level Testing
Chen, H. Y. Institute of Electrical and Electronics Engineers 2003 p.1059-1063
An Approach for Object-Oriented Cluster-Level Tests Based on UML
Chen, H. Y. Institute of Electrical and Electronics Engineers 2003 p.1064-1068
Sun, Y. X.; Chen, H. Y. Institute of Electrical and Electronics Engineers 2003 p.1069-1074
Sun, Y. X.; Chen, H. Y. Institute of Electrical and Electronics Engineers 2003 p.1075-1080
A Nonlinear Dynamics Model of Binocular Rivalry and Cognitive Multistability
Fuerstenau, N. Institute of Electrical and Electronics Engineers 2003 p.1081-1088