2012_HVC_StateModelChecking.pdf
URL: https://c3.nasa.gov/dashlink/static/media/publication/2012_HVC_StateModelChecking.pdf
2012_HVC_StateModelChecking.pdf
Source: Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking
About this Resource
| Last updated | unknown |
|---|---|
| Created | unknown |
| Name | 2012_HVC_StateModelChecking.pdf |
| Format | PDF File |
| License | License not specified |
| Created | 4 years ago |
| Media type | application/pdf |
| has views | False |
| id | 597d9ee9-ac34-492d-a412-3e1b6a453f41 |
| metadata modified | 4 years ago |
| package id | 78493571-8216-42eb-a4a5-6d9c51511698 |
| position | 0 |
| state | active |