( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring.

, , , , , , и . Formal Aspects Comput., 34 (2): 1-31 (2022)

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

 

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

Class Union and Polymorphism., и . TOOLS (12/9), стр. 181-190. Prentice Hall, (1993)Applying CSP-like Workflow Process Specifications for their Refinement in AMN by Pre-existing Workflows., , и . ADBIS Research Communications, стр. 206-216. Slovak University of Technology, Bratislava, (2002)Mild Dementia Care at Home - Integrating Activity Monitoring, User Interface Plasticity and Scenario Verification., , , и . ICOST, том 6159 из Lecture Notes in Computer Science, стр. 160-170. Springer, (2010)From semantic web to expressive software specifications: a modeling languages spectrum.. ICSE, стр. 1063-1064. ACM, (2006)Network Topology and a Case Study in TCOZ., и . ZUM, том 1493 из Lecture Notes in Computer Science, стр. 308-327. Springer, (1998)A combined approach to checking web ontologies., , , , и . WWW, стр. 714-722. ACM, (2004)Checking and Reasoning about Semantic Web through Alloy., , и . FME, том 2805 из Lecture Notes in Computer Science, стр. 796-813. Springer, (2003)Stateful Security Protocol Verification., , , , и . CoRR, (2014)A verification system for interval-based specification languages., , , и . ACM Trans. Softw. Eng. Methodol., 19 (4): 13:1-13:36 (2010)Generic Fault Tolerant Software Architecture Reasoning and Customization., , , и . IEEE Trans. Reliab., 55 (3): 421-435 (2006)