( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Analytical and Experimental Comparison of CSP Extensions and Tools.

, , , , и . ICFEM, том 7635 из Lecture Notes in Computer Science, стр. 381-397. Springer, (2012)

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.

ng-jin Song

Jin-song Xu

Jin-Hwa Song

Dong-Jin Park

Dong-Jin Chun

 

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

An Object-Oriented Approach to the Formal Specification of ODP Trader., и . Open Distributed Processing, том C-20 из IFIP Transactions, стр. 341-352. North-Holland, (1993)TCOZ approach to semantic web services design., , и . WWW (Alternate Track Papers & Posters), стр. 442-443. ACM, (2004)Soundness proof of Z semantics of OWL using institutions., , и . WWW (Special interest tracks and posters), стр. 1048-1049. ACM, (2005)Overview of the Semantics of TCOZ., и . IFM, стр. 66-85. Springer, (1999)A verification system for timed interval calculus., , и . ICSE, стр. 271-280. ACM, (2008)Reasoning Support for SWRL-FOL Using Alloy., , и . SEKE, стр. 626-631. (2005)N-PAT: A Nested Model-Checker - (System Description)., , , , , , и . IJCAR (2), том 12167 из Lecture Notes in Computer Science, стр. 369-377. Springer, (2020)Quantitative methods in security and safety critical applications (NII Shonan Meeting 2012-10)., , и . NII Shonan Meet. Rep., (2012)Automated synthesis of local time requirement for service composition., , , , , , и . CoRR, (2020)Enhancing Semantic Web Services with Inheritance., , , , , и . ISWC, том 5318 из Lecture Notes in Computer Science, стр. 162-177. Springer, (2008)