Normal view MARC view ISBD view

Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications

Labaw, Bruce Heitmeyer, Constance Bharadwaj, Ramesh

Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications - 927-648 p.

Subjects--Topical Terms:
Requirements
Abstraction
Simulation

Print
Request article
Suggest for purchase
Send to device
Save record
BIBTEX Dublin Core ISBD MARCXML RIS
More searches

Search for this title in:
Other Databases (Google Scholar) Open Library (openlibrary.org) Pakistan Union Catalogue (pastic.gov.pk) Other Libraries (WorldCat)