Model checking, testing and debugging. (5th December 2021)
- Record Type:
- Journal Article
- Title:
- Model checking, testing and debugging. (5th December 2021)
- Main Title:
- Model checking, testing and debugging
- Authors:
- Hierons, Robert M.
Xie, Tao - Abstract:
- Is Part Of:
- Software testing, verification & reliability. Volume 32:Number 1(2022)
- Journal:
- Software testing, verification & reliability
- Issue:
- Volume 32:Number 1(2022)
- Issue Display:
- Volume 32, Issue 1 (2022)
- Year:
- 2022
- Volume:
- 32
- Issue:
- 1
- Issue Sort Value:
- 2022-0032-0001-0000
- Page Start:
- n/a
- Page End:
- n/a
- Publication Date:
- 2021-12-05
- Subjects:
- Computer software -- Testing -- Periodicals
Computer software -- Verification -- Periodicals
Computer software -- Reliability -- Periodicals
005.14 - Journal URLs:
- http://onlinelibrary.wiley.com/ ↗
- DOI:
- 10.1002/stvr.1803 ↗
- Languages:
- English
- ISSNs:
- 0960-0833
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library DSC - 8321.457500
British Library DSC - BLDSS-3PM
British Library STI - ELD Digital store - Ingest File:
- 20213.xml