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
10-08-2026 17:58:13
