Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Dieses Buch präsentiert aktuelle Forschungsergebnisse zu formalen Methoden in der Softwareverifikation, mit Schwerpunkt auf industriellen Anwendungsfällen und praktischen Implementierungsbeispielen aus dem ISoLA-Symposium.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE
Gesponsert
SpringerLink DE
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
SpringerLink DE
04-05-2026 00:22:30
Gesponsert
Galaxus.de
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, Fachbücher von Tiziana Margaria, Bernhard Steffen
Galaxus.de
04-05-2026 08:09:09
