TY  - BOOK
AU  - K.H.Kochaleema
AU  - Guided by G. Santhosh Kumar
TI  - Verification and validation of temporal models in safety-critical software development cycle- a unified modeling language approach
PY  - 2022///
CY  - Kochi
PB  - Department of Computer Science, CUSAT
KW  - Software development - verification - validation
UR  - https://shodhganga.inflibnet.ac.in/handle/10603/493530
ER  -