Verification and validation of temporal models in safety-critical software development cycle- a unified modeling language approach
Publication details: Kochi Department of Computer Science, CUSAT 2022Description: 166pSubject(s): Online resources:Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
University Library | 004.415.5 KOC/V T (Browse shelf(Opens below)) | Not for loan | T0001947 |
There are no comments on this title.