(2024). A compositional simulation framework for Abstract State Machine models of Discrete Event Systems [journal article - articolo]. In FORMAL ASPECTS OF COMPUTING. Retrieved from https://hdl.handle.net/10446/274191

A compositional simulation framework for Abstract State Machine models of Discrete Event Systems

Bonfanti, Silvia;Gargantini, Angelo;Scandurra, Patrizia
2024-01-01
articolo
2024
FORMAL ASPECTS OF COMPUTING
Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
(2024). A compositional simulation framework for Abstract State Machine models of Discrete Event Systems [journal article - articolo]. In FORMAL ASPECTS OF COMPUTING. Retrieved from https://hdl.handle.net/10446/274191
File allegato/i alla scheda:
File Dimensione del file Formato  
3652862.pdf

accesso aperto

Versione: publisher's version - versione editoriale
Licenza: Creative commons
Dimensione del file 498.79 kB
Formato Adobe PDF
Visualizza/Apri
498.79 kB 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/274191
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact