( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Change-Preserving Model Repair.

, , , и . FASE, том 10202 из Lecture Notes in Computer Science, стр. 283-299. Springer, (2017)

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.

Adrian Gabriel

Adrian Bölingen

Adrian Chadi

Nadine Adrian

Adrian Forke

 

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

Multimodel correspondence through inter-model constraints., , , и . Programming, стр. 9-17. ACM, (2018)Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms., , и . Trans. Petri Nets Other Model. Concurr., (2021)Multilevel modelling of coloured petri nets., , , , и . MoDELS (Workshops), том 2245 из CEUR Workshop Proceedings, стр. 663-672. CEUR-WS.org, (2018)Model Checking Healthcare Workflows Using Alloy., и . EUSPN/ICTH, том 37 из Procedia Computer Science, стр. 481-488. Elsevier, (2014)A GraphQL approach to Healthcare Information Exchange with HL7 FHIR., , , , и . EUSPN/ICTH, том 160 из Procedia Computer Science, стр. 338-345. Elsevier, (2019)Model Repair with Quality-Based Reinforcement Learning., , , и . J. Object Technol., 19 (2): 17:1-21 (2020)The Visual Debugger: Past, Present, and Future., , , и . CoRR, (2024)A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems., , , и . CoRR, (2023)Multilevel Coupled Model Transformations for Precise and Reusable Definition of Model Behaviour., , , , и . CoRR, (2019)A Model Slicing Method for Workflow Verification., , , и . FESCA, том 295 из Electronic Notes in Theoretical Computer Science, стр. 79-93. Elsevier, (2012)