Cited By
View all- Monti FMathew JLeotta FKoschmider AMecella M(2024)On the application of process management and process mining to Industry 4.0Software and Systems Modeling (SoSyM)10.1007/s10270-024-01175-z23:6(1407-1419)Online publication date: 1-Dec-2024
- Corradini FFornari FRe BRossi LPolini ATiezzi FVandin A(2024)Formal Approaches for Modeling and Analysis of Business Process CollaborationsLeveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola10.1007/978-3-031-73709-1_4(50-61)Online publication date: 27-Oct-2024
- Corradini FFedeli AFornari FPolini ARe BRuschioni L(2023)X-IoT: a model-driven approach to support IoT application portability across IoT platformsComputing10.1007/s00607-023-01155-z105:9(1981-2005)Online publication date: 1-Sep-2023