(2025). Are (formal) models still really useful in software engineering? . Retrieved from https://hdl.handle.net/10446/317686

Are (formal) models still really useful in software engineering?

Gargantini, Angelo
2025-01-01

2025
Inglese
Proceedings of the 33rd IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2025)
4
4
online
Italy
UniCT - IEEE
WETICE 2025: 33rd IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises; Catania, Italia, 23-25 luglio 2025
33
Catania (Italy)
July 23rd-25th, 2025
internazionale
su invito
Settore IINF-05/A - Sistemi di elaborazione delle informazioni
   SAFEST: Trust assurance of Digital Twins for medical cyber-physical systems
   SAFEST
   MUR - MINISTERO DELL'UNIVERSITA' E DELLA RICERCA - Segretariato generale Direzione generale della ricerca - Ufficio IV
   20224AJBLJ_01
Gargantini, Angelo Michele
open
1
1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.02 Abstract in atti di convegno - Conference abstracts
Non definito
274
info:eu-repo/semantics/conferenceObject
(2025). Are (formal) models still really useful in software engineering? . Retrieved from https://hdl.handle.net/10446/317686
File allegato/i alla scheda:
File Dimensione del file Formato  
WETICE_2025_Cover_Page.pdf

accesso aperto

Descrizione: indice della conference. L'abstract è a pagina 4
Versione: publisher's version - versione editoriale
Licenza: Licenza Free to read
Dimensione del file 1.19 MB
Formato Adobe PDF
1.19 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/317686
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact