Gå direkte til innholdet
Challenges of Software Verification
Spar

Challenges of Software Verification

Indeed, several verification tools have been proposed by the research community and any software application, in order to guarantee that certain software requirements are met, needs to integrate a verification phase in its life cycle, independently of the context of application or software size.
Opplag
2023 ed.
ISBN
9789811996009
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
25.7.2023
Antall sider
264