Verification and validation of temporal models in safety-critical software development cycle- a unified modeling language approach (Record no. 111158)

MARC details
000 -LEADER
fixed length control field 00697nam a22001697a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20231030145512.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 230504b |||||||| |||| 00| 0 eng d
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number 004.415.5
Item number KOC/V T
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name K.H.Kochaleema
245 ## - TITLE STATEMENT
Title Verification and validation of temporal models in safety-critical software development cycle- a unified modeling language approach
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Kochi
Name of publisher, distributor, etc Department of Computer Science, CUSAT
Date of publication, distribution, etc 2022
300 ## - PHYSICAL DESCRIPTION
Extent 166p.
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Software development - verification - validation
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Guided by G. Santhosh Kumar
856 ## - ELECTRONIC LOCATION AND ACCESS
Link text https://shodhganga.inflibnet.ac.in/handle/10603/493530
Uniform Resource Identifier https://shodhganga.inflibnet.ac.in/handle/10603/493530
942 ## - ADDED ENTRY ELEMENTS (KOHA)
item type Theses
Holdings
Lost status Source of classification or shelving scheme Not for loan Home library Current library Date acquired Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
  Universal Decimal Classification   University Library University Library 04/05/2023   004.415.5 KOC/V T T0001947 04/05/2023 04/05/2023 Theses
University Library, CUSAT