From post

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.

 

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

Using Z - specification, refinement, and proof., и . Prentice Hall international series in computer science Prentice Hall, (1996)Concurrency and Refinement in the Unified Modeling Language, и . Electronic Notes in Theoretical Computer Science, 70 (3): 577--603 (ноября 2002)Concurrency and Refinement in the Unified Modeling Language, и . Formal Aspects of Computing, V15 (2): 118--145 (ноября 2003)The ALIGNED Project – Aligned, Quality-centric Software and Data Engineering Driven by Semantics, , , , , , , , , и . Project Networking Session at ESWC 2016 THE SEMANTIC WEB. LATEST ADVANCES AND NEW DOMAINS, том 9678 из LNCS, Springer, (2016)Software Project Management for Combined Software and Data Engineering, , , и . стр. 367--385. Springer International Publishing, Cham, (2017)Towards a denotational semantics for ET-LOTOS., , и . CONCUR, том 962 из Lecture Notes in Computer Science, стр. 269-283. Springer, (1995)Investigating an Ontology-Informed Approach to Event Log Generation in Healthcare., , , и . ICPM Workshops, том 503 из Lecture Notes in Business Information Processing, стр. 235-246. Springer, (2023)Domain-specific Semantics and Data Refinement of Object Models., , и . SBMF, том 195 из Electronic Notes in Theoretical Computer Science, стр. 151-170. Elsevier, (2006)A formal, scalable approach to semantic interoperability., , , и . Sci. Comput. Program., (2020)Using State Diagrams to Describe Concurrent Behaviour, и . (2003)