Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Bewaard in:
Bibliografische gegevens
Hoofdauteur: Margaria, Tiziana
Andere auteurs: Steffen, Bernhard
Formaat: E-boek
Taal:Engels
Gepubliceerd in: Springer Nature, 2025.
Onderwerpen:
Online toegang:Access eBook
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!