| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910712081803321 |
|
|
Autore |
Hwang Minjeong |
|
|
Titolo |
Investigation of the loop seal clearing phenomena for the ATLAS DVI line and cold leg SBLOCA tests using MARS-KS and RELAP5/MOD3.3 / / prepared by Minjeong Hwang [and three others] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Washington., DC : , : Division of Systems Analysis, Office of Nuclear Regulatory Research, Nuclear Regulatory Commission, , March 2019 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xvolumes 49 pages) : illustrations (some color) |
|
|
|
|
|
|
Collana |
|
International agreement report ; ; NUREG/IA-0501 |
|
|
|
|
|
|
Soggetti |
|
Pressurized water reactors - Loss of coolant - Computer programs |
Thermal hydraulics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"Prepared as part of the Agreement on Research Participation and Technical Exchange under the Thermal-Hydraulic Code Applications and Maintenance Program (CAMP)." |
"Manuscript completed: March 2018; date published: March 2019." |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (page 49). |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910376024003321 |
|
|
Autore |
Jhala Ranjit |
|
|
Titolo |
PLPV '11 : proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, USA |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Place of publication not identified], : ACM, 2011 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (62 pages) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Soggetti |
|
Engineering & Applied Sciences |
Computer Science |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
| |