Orenitram ... Not Verified

被引：8
|
作者：
Fares, Wassim H. [1 ]
机构：
[1] Yale Univ, New Haven, CT 06520 USA
来源：
AMERICAN JOURNAL OF RESPIRATORY AND CRITICAL CARE MEDICINE | 2015年 / 191卷 / 06期
关键词：
PULMONARY ARTERIAL-HYPERTENSION; ENDOTHELIN RECEPTOR ANTAGONIST; RANDOMIZED CONTROLLED-TRIAL; 5 INHIBITOR THERAPY; ORAL TREPROSTINIL;
D O I：
10.1164/rccm.201411-2082LE
中图分类号：
R4 [临床医学];
学科分类号：
1002 ; 100602 ;
摘要：
引用
收藏
页码：713 / 714
页数：2
相关论文
共 50 条
  • [1] Verified Compilation on a Verified Processor
    Loow, Andreas
    Kumar, Ramana
    Tan, Yong Kiam
    Myreen, Magnus O.
    Norrish, Michael
    Abrahamsson, Oskar
    Fox, Anthony
    [J]. PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19), 2019, : 1041 - 1053
  • [2] TOTALLY VERIFIED SYSTEMS - LINKING VERIFIED SOFTWARE TO VERIFIED HARDWARE
    JOYCE, JJ
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 408 : 177 - 201
  • [3] The Delphi Process In The Creation Of A Consensus Statement For Practical Use Of Orenitram
    Rahaghi, F. F.
    Feldman, J. P.
    Allen, R. P.
    Tapson, V.
    Zwicke, D. L.
    Safdar, Z.
    Balasubramanian, V. P.
    Shapiro, S.
    Mathier, M.
    Elwing, J. M.
    Chakinala, M. M.
    White, R. J.
    [J]. AMERICAN JOURNAL OF RESPIRATORY AND CRITICAL CARE MEDICINE, 2015, 191
  • [4] From a Verified Kernel towards Verified Systems
    Klein, Gerwin
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, 2010, 6461 : 21 - 33
  • [5] Lutsig: A Verified Verilog Compiler for Verified Circuit Development
    Loow, Andreas
    [J]. CPP '21: PROCEEDINGS OF THE 10TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, 2021, : 46 - 60
  • [6] VERIFIED REFRACTION
    BEACH, SJ
    [J]. JAMA-JOURNAL OF THE AMERICAN MEDICAL ASSOCIATION, 1948, 138 (13): : 952 - 955
  • [7] Nesiritide - Not verified
    Topol, EJ
    [J]. NEW ENGLAND JOURNAL OF MEDICINE, 2005, 353 (02): : 113 - 116
  • [8] Nesiritide - Not verified
    Schreiner, G
    [J]. NEW ENGLAND JOURNAL OF MEDICINE, 2005, 353 (14): : 1525 - 1526
  • [9] Verified Purchase
    Hope, Jessamyn
    [J]. FIDDLEHEAD, 2022, (293): : 50 - 65
  • [10] THE VIRUS VERIFIED
    DARIUS, J
    [J]. NATURE, 1984, 307 (5952) : 595 - 595
12345