Data di Pubblicazione:
2021
Citazione:
(2021). Extending ASMETA with Time Features . Retrieved from http://hdl.handle.net/10446/185264
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.
Tipologia CRIS:
1.4.01 Contributi in atti di convegno - Conference presentations
Elenco autori:
Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia
Link alla scheda completa:
Titolo del libro:
Rigorous State-Based Methods
Pubblicato in: