Compositional Simulation of Abstract State Machines for Safety Critical Systems - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra. Compositional Simulation of Abstract State Machines for Safety Critical Systems. In Silvia Lizeth Tapia Tarifa, José Proença, editors, Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings. Volume 13712 of Lecture Notes in Computer Science, pages 3-19, Springer, 2022. [doi]

The following publications are possibly variants of this publication:

A Metamodel-based Language and a Simulation Engine for Abstract State MachinesAngelo Gargantini, Elvinia Riccobene, Patrizia Scandurra. jucs, 14(12):1949-1983, 2008.

runs on WebDSL