Appendix A - System Verification Template and Data Item Descriptions
Saved in:
| Published in | System Verification pp. 363 - 364 |
|---|---|
| Main Author | |
| Format | Book Chapter |
| Language | English |
| Published |
United States
Elsevier Inc
2016
Elsevier Science & Technology |
| Edition | Second Edition |
| Subjects | |
| Online Access | Get full text |
| ISBN | 0128042222 9780128042229 0128042214 9780128042212 |
| DOI | 10.1016/B978-0-12-804221-2.09985-X |
Cover
| Author | Jeffrey O. Grady |
|---|---|
| Author_xml | – sequence: 1 fullname: Grady, Jeffrey O |
| BookMark | eNpNkMtOwzAQRY14iLb0Hyz2LrbjOPaytLykSiwoqDvLdibC0CYhNgj-nqRlwWpmru4dzZwxOqmbGhC6ZHTGKJNX17pQhBLGiaKCc0b4jGqtcrI5QmPK-F7l_Pj_cIZGOqdCSib0OZrG-EYpZUVRZIUaoeW8baEuwzeeY4KffmKCHX6BLlTB2xSaGq9h125tAmzrEi9tsvhh8Cwh-i60gyVeoNPKbiNM_-oEPd_erBf3ZPV497CYrwgwKiXpX_CZLYV0ypbcV54ylznQjJZcSOEcLape8TzzChyTCqxk1rHc9nlqVTZB4rC37ZqPT4jJgGuadw916uzWv9o2QReNyLkUuTZcK5Mp2ceWhxj0t30F6Ez0AWoPZejAJ1M2wTBqBsJmIGz6npsDYcPNnrDZZL8Xh26V |
| ContentType | Book Chapter |
| Copyright | 2016 Elsevier Inc. |
| Copyright_xml | – notice: 2016 Elsevier Inc. |
| DBID | FFUUA |
| DEWEY | 620.001171 |
| DOI | 10.1016/B978-0-12-804221-2.09985-X |
| DatabaseName | ProQuest Ebook Central - Book Chapters - Demo use only |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering |
| EISBN | 0128042222 9780128042229 |
| Edition | Second Edition |
| EndPage | 364 |
| ExternalDocumentID | EBC4526459_298_386 B978012804221209985X |
| GroupedDBID | 20A 38. AAAAS AABBV AAFLS AAJDW AAJFB AAJIE AAKGN AAORS AAXUO AAZGR AAZNM ABGTF ABGWT ABIWA ABMAC ABNGK ABQQC ABRBZ ACKCA ACRMW ACXMD ADCEY ADRYN ADVEM AECLD AEHLA AEIUV AFOST AGAMA AJMPQ ALMA_UNASSIGNED_HOLDINGS AMINO ATDNW AZZ BBABE BGHEG BIOBC BIQZX BLMTO CDLGT CHKTG CZZ DIGXA E2F GEOUK HGY JJU MYL O7H SDK SHL UE6 AALRI AANYM ABQNV ABRSK ACHUA APVFW FFUUA L7C SRW |
| ID | FETCH-LOGICAL-e1066-101c3ad46b8ad2cfc01b3be910d2464bb07f1b3c23c8eb168ea61ab15ae100a83 |
| IEDL.DBID | HGY |
| ISBN | 0128042222 9780128042229 0128042214 9780128042212 |
| IngestDate | Mon Sep 01 00:57:37 EDT 2025 Fri Feb 23 02:26:18 EST 2024 |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCallNum | TA168 .G733 2016 |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-e1066-101c3ad46b8ad2cfc01b3be910d2464bb07f1b3c23c8eb168ea61ab15ae100a83 |
| OCLC | 950466149 |
| PQID | EBC4526459_298_386 |
| PageCount | 2 |
| ParticipantIDs | proquest_ebookcentralchapters_4526459_298_386 elsevier_sciencedirect_doi_10_1016_B978_0_12_804221_2_09985_X |
| PublicationCentury | 2000 |
| PublicationDate | 2016 |
| PublicationDateYYYYMMDD | 2016-01-01 |
| PublicationDate_xml | – year: 2016 text: 2016 |
| PublicationDecade | 2010 |
| PublicationPlace | United States |
| PublicationPlace_xml | – name: United States |
| PublicationSubtitle | Proving the Design Solution Satisfies the Requirements |
| PublicationTitle | System Verification |
| PublicationYear | 2016 |
| Publisher | Elsevier Inc Elsevier Science & Technology |
| Publisher_xml | – name: Elsevier Inc – name: Elsevier Science & Technology |
| SSID | ssj0001777378 |
| Score | 1.4763262 |
| SourceID | proquest elsevier |
| SourceType | Publisher |
| StartPage | 363 |
| SubjectTerms | Computer architecture & logic design Computer security Technical design |
| Title | Appendix A - System Verification Template and Data Item Descriptions |
| URI | https://dx.doi.org/10.1016/B978-0-12-804221-2.09985-X http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=4526459&ppg=386&c=UERG |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3NT8MgFCdzXtSLn3F-hYNX3Eop0IMHv-ZioqfN1BMBSpMlWhc3E_98H5Tq5tVbocBLfpQfj9f3Hgidl5UwsLMLYnNZEuYYLCmeV0RoC0QpqbOpD05-fOKjCXsosqKDhm0sjHerjNzfcHpg61jTj2j2Z9Np_9rnzoHhfBKrEAAqs2INrcPa5f4mg9H9y6-tRQiRChky6sQObKlAaczE8zPaapnmbbbShAexJDg0NG0JvQiySbGynf0h9rBbDbfRlo9gwD60AFDbQR1X76LNpcyDe-gWtE9Xl9MvfIUJbtKW42d4WUUbHh67t9krKKJY1yW-1QuNvVUfwzm15Zn5PpoM78Y3IxIvVCAOTn4cKDexqS4ZN1KX1FZ2kJjUONAYSso4M2YgKqixNLUSOJxLp3miTZJp6D_QMj1A3fq9docIa5h8Zi3NoCWDQ1GesDJLjaBQlDB8D122YKiV-VRA1ap1LfNgKnimqgFTURXAVEUPkRZBFX4bR19V20A3V_5qdJbliuZSpZIf_VPeMdoAVSgaV05Qd_Hx6U5B3ViYs_AtfQNS4sWm |
| linkProvider | Elsevier |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1JT8QgFCajHlwurnGXg1ecKaVADx7UcRzX02jqiQClySRajY6JP98Hpep49VZaluSj_Xi8vveB0GFZCQMruyA2lyVhjsEnxfOKCG2BKCV1NvXJybd3fHjProqs6KBBmwvjwyoj9zecHtg63ulGNLuv43H31GvnQHdexCokgMqsmEFzDNZHr6E_vHj88bUIIVIhg6JObMB-FSiNSjzfvU2Xad6qlSY8DEtCQENTl9CjMDYpppazP8QeVqvBMlryGQzYpxYAaiuo4-pVtPhLeXAN9cH6dHU5_sQnmOBGthw_wMMq-vDwyD2_PoEhinVd4r6eaOy9-hj2qS3PvK-j-8H56GxI4oEKxMHOjwPlJjbVJeNG6pLayvYSkxoHFkNJGWfG9EQFdyxNrQQO59JpnmiTZBra97RMN9Bs_VK7TYQ1TD6zlmZQk8GmKE9YmaVGUChK6H4LHbdgqKn5VEDVqg0t82AquKaqAVNRFcBUxRYiLYIq_DaOsaq2ge5d-aPRWZYrmkuVSr79z_EO0PxwdHujbi7vrnfQAphF0dGyi2Ynbx9uD0yPidkP79UX0eLImw |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=System+Verification&rft.au=Jeffrey+O.+Grady&rft.atitle=Appendix+A+-+System+Verification+Template+and+Data+Item+Descriptions&rft.date=2016-01-01&rft.pub=Elsevier+Inc&rft.isbn=9780128042229&rft.spage=363&rft.epage=364&rft_id=info:doi/10.1016%2FB978-0-12-804221-2.09985-X&rft.externalDocID=B978012804221209985X |
| thumbnail_s | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F4526459-l.jpg |