|
|
|
|
| LEADER |
00000nam a22000003u 4500 |
| 001 |
b9168478 |
| 003 |
CoU |
| 005 |
20170726014913.4 |
| 006 |
m o d f |
| 007 |
cr ||||||||||| |
| 008 |
170804e20160501||| o| f1|||||eng|d |
| 035 |
|
|
|a (TOE)ost1368799
|
| 035 |
|
|
|a (TOE)1368799
|
| 040 |
|
|
|a TOE
|c TOE
|
| 049 |
|
|
|a GDWR
|
| 086 |
0 |
|
|a E 1.99:sand2016-4937c
|
| 086 |
0 |
|
|a E 1.99:sand2016-4937c
|
| 088 |
|
|
|a sand2016-4937c
|
| 245 |
0 |
0 |
|a Verification by way of refinement
|h [electronic resource] :
|b a case study in the use of Coq and TLA in the design of a safety critical system.
|
| 260 |
|
|
|a Washington, D.C. :
|b United States. National Nuclear Security Administration ;
|a Oak Ridge, Tenn. :
|b distributed by the Office of Scientific and Technical Information, U.S. Department of Energy,
|c 2016.
|
| 300 |
|
|
|a 73 p. :
|b digital, PDF file.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent.
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia.
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier.
|
| 500 |
|
|
|a Published through SciTech Connect.
|
| 500 |
|
|
|a 05/01/2016.
|
| 500 |
|
|
|a "sand2016-4937c"
|
| 500 |
|
|
|a "640723"
|
| 500 |
|
|
|a Proposed for presentation at the International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems held September 26-29, 2016 in Pisa, Italy.
|
| 500 |
|
|
|a Hulette, Geoffrey Compton; Philip Johnson-Freyd; Zena Ariola.
|
| 520 |
3 |
|
|a Abstract not provided.
|
| 536 |
|
|
|b AC04-94AL85000.
|
| 710 |
2 |
|
|a Sandia National Laboratories.
|4 res.
|
| 710 |
1 |
|
|a United States.
|b National Nuclear Security Administration.
|4 spn.
|
| 710 |
1 |
|
|a United States.
|b Department of Energy.
|b Office of Scientific and Technical Information.
|4 dst.
|
| 856 |
4 |
0 |
|u http://www.osti.gov/scitech/biblio/1368799
|z Online Access (via OSTI)
|
| 907 |
|
|
|a .b9168478x
|b 03-09-23
|c 08-04-17
|
| 998 |
|
|
|a web
|b 08-04-17
|c f
|d m
|e p
|f eng
|g
|h 0
|i 1
|
| 956 |
|
|
|a Information bridge
|
| 999 |
f |
f |
|i 138b2c04-b582-53aa-871f-74dacea5e7bd
|s 2cdc7293-bbf4-550b-9bd1-e6ff97cfb865
|
| 952 |
f |
f |
|p Can circulate
|a University of Colorado Boulder
|b Online
|c Online
|d Online
|e E 1.99:sand2016-4937c
|h Superintendent of Documents classification
|i web
|n 1
|
