Verification and validation of temporal models in safety-critical software development cycle- a unified modeling language approach (Record no. 111158)
[ view plain ]
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 |
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 |