Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela

von Caltais, Georgiana
Veröffentlicht in MODELSWARD (8. : 2020 : Valletta) MODELSWARD 2020 (2020)

Model checking software : 29th international symposium, SPIN 2023, Paris, France, April 26-27, 2023, proceedings

Veröffentlicht 2023

A Language-Based Causal Model for Safety

von Bonsangue, Marcello
Veröffentlicht in International Symposium on Theoretical Aspects of Software Engineering (16. : 2022 : Cluj-Napoca) Theoretical aspects of software engineering (2022)

DyNetKAT: An Algebra of Dynamic Networks

von Caltais, Georgiana
Veröffentlicht in FOSSACS (25. : 2022 : München) Foundation of software science and computation structures (2022)