( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Overview of the Semantics of TCOZ.

, и . IFM, стр. 66-85. Springer, (1999)

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

 

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

A verification system for timed interval calculus., , и . ICSE, стр. 271-280. ACM, (2008)TCOZ approach to semantic web services design., , и . WWW (Alternate Track Papers & Posters), стр. 442-443. ACM, (2004)Overview of the Semantics of TCOZ., и . IFM, стр. 66-85. Springer, (1999)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)An Object-Oriented Approach to the Formal Specification of ODP Trader., и . Open Distributed Processing, том C-20 из IFIP Transactions, стр. 341-352. North-Holland, (1993)Soundness proof of Z semantics of OWL using institutions., , и . WWW (Special interest tracks and posters), стр. 1048-1049. ACM, (2005)Enhancing Semantic Web Services with Inheritance., , , , , и . ISWC, том 5318 из Lecture Notes in Computer Science, стр. 162-177. Springer, (2008)Preface., , , и . WLFM@FM, том 151 из Electronic Notes in Theoretical Computer Science, стр. 1. Elsevier, (2005)Model Driven Inputs to aid Athlete's Decision Making., , , , и . APSEC, стр. 485-489. IEEE, (2020)