asmetatime21 Andrea Bombarda Silvia Bonfanti Angelo Gargantini Elvinia Riccobene

Extending ASMETA with time features

in ABZ 2021 - 8th International Conference onRigorous State Based Methods, Springer International Publishing (2021): 105--111

Abstract
ASMs and the ASMETA framework can be used to model and analyze a variety of systems, and many of them rely on time constraints. In this paper, we present the ASMETA extension to deal with model time features.

[download the pdf file] [DOI]

My sw links