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.

(2021). Extending ASMETA with Time Features . Retrieved from http://hdl.handle.net/10446/185264

Extending ASMETA with Time Features

Bombarda, Andrea;Bonfanti, Silvia;Gargantini, Angelo;
2021-01-01

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.
2021
Inglese
Rigorous State-Based Methods
978-3-030-77542-1
12709
105
111
online
Switzerland
Cham
Springer
ABZ 2021: 8th International Conference on Rigorous State Based Methods, Ulm, Germany, 9–11 June, 2021;
8th
Ulm (Germany)
9-11 June 2021
Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni
info:eu-repo/semantics/conferenceObject
4
Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia
1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
reserved
Non definito
273
(2021). Extending ASMETA with Time Features . Retrieved from http://hdl.handle.net/10446/185264
File allegato/i alla scheda:
File Dimensione del file Formato  
Extending ASMETA with Time Features_ ABZ 2021.pdf

Solo gestori di archivio

Versione: postprint - versione referata/accettata senza referaggio
Licenza: Licenza default Aisberg
Dimensione del file 7.64 MB
Formato Adobe PDF
7.64 MB Adobe PDF   Visualizza/Apri
Pubblicazioni consigliate

Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10446/185264
Citazioni
  • Scopus 6
  • ???jsp.display-item.citation.isi??? 5
social impact