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

Abstract
Publication Date:
2025
Short description:
(2025). Are (formal) models still really useful in software engineering? . Retrieved from https://hdl.handle.net/10446/317686
Iris type:
1.4.02 Abstract in atti di convegno - Conference abstracts
List of contributors:
Authors of the University:
Handle:
https://aisberg.unibg.it/handle/10446/317686
Full Text:
Book title:
Proceedings of the 33rd IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2025)
Project:
SAFEST: Trust assurance of Digital Twins for medical cyber-physical systems

Research