| 000 | 00697nam a22001697a 4500 | ||
|---|---|---|---|
| 005 | 20231030145512.0 | ||
| 008 | 230504b |||||||| |||| 00| 0 eng d | ||
| 080 |
_a004.415.5 _bKOC/V T |
||
| 100 | _aK.H.Kochaleema | ||
| 245 | _aVerification and validation of temporal models in safety-critical software development cycle- a unified modeling language approach | ||
| 260 |
_aKochi _bDepartment of Computer Science, CUSAT _c2022 |
||
| 300 | _a166p. | ||
| 653 | _aSoftware development - verification - validation | ||
| 700 | _aGuided by G. Santhosh Kumar | ||
| 856 |
_yhttps://shodhganga.inflibnet.ac.in/handle/10603/493530 _uhttps://shodhganga.inflibnet.ac.in/handle/10603/493530 |
||
| 942 | _cTH | ||
| 999 |
_c111158 _d111157 |
||