( en | de | ru )

 

Disambiguierung von "Fornari, Fabrizio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
BProVe: a formal verification framework for business process models.

, , , , , und . ASE, Seite 217-228. IEEE Computer Society, (2017)

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.

Fornari

Roberto Fornari

Giacomo Fornari

Fabrizio Gabbiani

Fabrizio Catanese

 

Weitere Publikationen von Autoren mit dem selben Namen

Checking Business Process Modeling Guidelines in Apromore., , , , , und . BPM (Demos), Volume 1920 von CEUR Workshop Proceedings, CEUR-WS.org, (2017)On Avoiding Erroneous Synchronization in BPMN Processes., , , , , und . BIS, Volume 288 von Lecture Notes in Business Information Processing, Seite 106-119. Springer, (2017)X-IoT: a model-driven approach for cross-platform IoT applications development., , , , und . SAC, Seite 1448-1451. ACM, (2022)BProVe: a formal verification framework for business process models., , , , , und . ASE, Seite 217-228. IEEE Computer Society, (2017)A Study on the Usage of the BPMN Notation for Designing Process Collaboration, Choreography, and Conversation Models, , , und . Business & Information Systems Engineering, 66 (1): 43--66 (01.02.2024)A Guidelines framework for understandable BPMN models, , , , , , und . Data & Knowledge Engineering, (2018)RePROSitory: a Repository platform for sharing business PROcess models and logS., , , , und . ITBPM@BPM, Volume 2952 von CEUR Workshop Proceedings, Seite 13-18. CEUR-WS.org, (2021)Case Studies for a New IoT Programming Paradigm: Fluidware., , , , , , , , , und . AI&IoT@AI*IA, Volume 2502 von CEUR Workshop Proceedings, Seite 82-96. CEUR-WS.org, (2019)Enabling 3D Simulation in ThingsBoard: A First Step Towards A Digital Twin Platform., , , , und . EDOC Workshops, Volume 498 von Lecture Notes in Business Information Processing, Seite 325-330. Springer, (2023)Reproducibility Report for the Paper: Simulating Data Flows of Very Large Scale Intelligent Transportation Systems.. SIGSIM-PADS, Seite 133-134. ACM, (2024)