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.
Extending ASMETA with Time Features / A. Bombarda, S. Bonfanti, A. Gargantini, E. Riccobene (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Rigorous State-Based Methods / [a cura di] A. Raschke, D. Méry. - [s.l] : Springer Science and Business Media Deutschland GmbH, 2021. - ISBN 978-3-030-77542-1. - pp. 105-111 (( Intervento presentato al 8. convegno International Conference on Rigorous State-Based Methods tenutosi a Virtual, Online nel 2021 [10.1007/978-3-030-77543-8_8].
Extending ASMETA with Time Features
E. RiccobeneUltimo
2021
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.
| File | Dimensione | Formato | |
|---|---|---|---|
|
abz_2021_time_final version.pdf
accesso riservato
Tipologia:
Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione
264.78 kB
Formato
Adobe PDF
|
264.78 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
Bombarda2021_Chapter_ExtendingASMETAWithTimeFeature.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
1.28 MB
Formato
Adobe PDF
|
1.28 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
