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.

 

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

Efficient Path Finding with the Sweep-Line Method Using External Storage., и . ICFEM, том 2885 из Lecture Notes in Computer Science, стр. 319-337. Springer, (2003)CTL Model Checking with the Sweep-line State Space Exploration Method., , и . NIK, Bibsys Open Journal Systems, Norway, (2017)On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method., , и . PNSE@Petri Nets/ACSD, том 2424 из CEUR Workshop Proceedings, стр. 57-72. CEUR-WS.org, (2019)Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes., , , , , , и . PROFES, том 13709 из Lecture Notes in Computer Science, стр. 124-140. Springer, (2022)Formal Modelling and Incremental Verification of the MQTT IoT Protocol., , и . Trans. Petri Nets Other Model. Concurr., (2019)Formal specification and state space analysis of an operational planning process., , и . Int. J. Softw. Tools Technol. Transf., 9 (3-4): 255-267 (2007)Diagrammatic Development of Domain Specific Modelling Languages with WebDPF., , , и . Int. J. Inf. Syst. Model. Des., 7 (3): 93-114 (2016)A Model Driven Engineering Approach for Heterogeneous Model Composition., , и . MODELSWARD (Revised Selected Papers), том 880 из Communications in Computer and Information Science, стр. 198-221. Springer, (2017)Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach., , и . MODELSWARD, стр. 41-52. SciTePress, (2017)Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol., и . Petri Nets, том 9698 из Lecture Notes in Computer Science, стр. 135-154. Springer, (2016)