( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verisim: Formal Analysis of Network Simulations.

, , , , , , и . IEEE Trans. Software Eng., 28 (2): 129-145 (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Ky ng Kim

Die Artikelstruktur in passiven zweisprachigen Wörterbüchern Deutsch-Koreanisch: Konzeption zur Erstellung eines zweisprachigen Lernerwörterbuchs Deutsch-Koreanisch. Uni Heidelberg, (2008)

Ryong Kim

Yongkyu Kim

Bongcheol Kim

Kim Gerber

 

Другие публикации лиц с тем же именем

Verisim: Formal analysis of network simulations., , , , , , и . ISSTA, стр. 2-13. ACM, (2000)Verisim: Formal Analysis of Network Simulations., , , , , , и . IEEE Trans. Software Eng., 28 (2): 129-145 (2002)Collocation Map for Overcoming Data Sparseness., , и . EACL, стр. 53-59. The Association for Computer Linguistics, (1995)Wireless Signal Strength-Aware TCP-Friendly Rate Control in Mobile Networks., , , , и . ICWN, стр. 63-72. CSREA Press, (2005)Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination., , , , и . World Congress on Formal Methods, том 1708 из Lecture Notes in Computer Science, стр. 212-232. Springer, (1999)Steering of real-time systems based on monitoring and checking., , , , и . WORDS (Fall), стр. 11-18. IEEE Computer Society, (1999)Monitoring, Checking, and Steering of Real-Time Systems., , , , и . Electr. Notes Theor. Comput. Sci., (2002)Formally specified monitoring of temporal properties., , , , , и . ECRTS, стр. 114-122. IEEE Computer Society, (1999)Automatic Calibration of the Optical System in Passive Component Inspection., и . VISIGRAPP (4: VISAPP), стр. 230-237. SciTePress, (2017)Runtime Assurance Based On Formal Specifications., , , , и . PDPTA, стр. 279-287. CSREA Press, (1999)