(2024). From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code . Retrieved from https://hdl.handle.net/10446/274194

From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code

Bombarda, Andrea;Bonfanti, Silvia;Gargantini, Angelo
2024-01-01
WOS:001280303300010
2-s2.0-85199561204
2024
Inglese
Rigorous State-Based Methods. 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
Bonfanti, Silvia; Gargantini, Angelo; Leuschel Michael, Riccobene, Elvinia; Scandurra, Patrizia;
9783031637896
LECTURE NOTES IN COMPUTER SCIENCE
14759
160
178
cartaceo
online
Switzerland
Cham
Springer
ABZ 2024: 10th International Conference on Rigorous State-Based Methods, Bergamo, Italy, 25-28 June 2024
10
Bergamo (Italy)
25-28 giugno 2024
Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni
info:eu-repo/semantics/conferenceObject
3
Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
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
(2024). From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code . Retrieved from https://hdl.handle.net/10446/274194
File allegato/i alla scheda:
File Dimensione del file Formato  
978-3-031-63790-2_compressed-1.pdf

Solo gestori di archivio

Versione: publisher's version - versione editoriale
Licenza: Licenza default Aisberg
Dimensione del file 521.79 kB
Formato Adobe PDF
  Visualizza/Apri
521.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/274194
Citazioni
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
social impact