Your search returned 43 results.

Results
		No cover image available Verification and validation of temporal models in safety-critical software development cycle- a unified modeling language approach by K.H.Kochaleema Guided by G. Santhosh Kumar Publication details: Kochi Department of Computer Science, CUSAT 2022 Online access: https://shodhganga.inflibnet.ac.in/handle/10603/493530 Availability: Items available for reference: University Library : Not for loan (1)Call number: 004.415.5 KOC/V T. Add to cart (remove)
		No cover image available Modelling crowd patterns and detection of abnormal behaviours from high-density videos using computer vision techniques by Anees , Muhammed V Guided by G. Santhosh Kumar Publication details: Kochi Department of Computer Science, CUSAT 2022 Online access: Click here to access online Availability: Items available for reference: University Library : Not for loan (1)Call number: 004.925:7.038.53 ANE/M T. Add to cart (remove)
		No cover image available Formal modeling and verification of clock synchronization algorithms of in-vehicle networks in automotive systems by Shimmi Asokan Guided by G. Santhosh Kumar Publication details: Kochi Department of Computer Science, CUSAT 2023 Availability: Items available for reference: : Not for loan (1). Add to cart (remove)

Refine your search