A DEVS-based MBSE methodology for seamless deployment via Formal Digital Twin architectures

José L. Risco-Martín, Román Cárdenas, Segundo Esteban, Patricia Arroba. A DEVS-based MBSE methodology for seamless deployment via Formal Digital Twin architectures. Information \& Software Technology, 190:107974, 2026. [doi]

Abstract

Abstract is missing.