( en | de | ru )

 

Disambiguierung von "Rutle, Adrian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms.

, , und . Trans. Petri Nets Other Model. Concurr., (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Adrian Gabriel

Adrian Bölingen

Adrian Chadi

Adrian Niemietz

Nicole Adrian

 

Weitere Publikationen von Autoren mit dem selben Namen

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