Principles of high assurance software engineering for railway/ transportation systems

被引：0
|
作者：
Kleidermacher, David [1 ]
Kraeling, Mark [2 ]
机构：
[1] Green Hills Software, Inc., Santa Barbara, FL, United States
[2] General Electric (GE) Transportation, Melbourne, FL, United States
来源：
ZEVrail | 2010年 / 134卷 / 1-2期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：50 / 52
相关论文
共 50 条
  • [1] High assurance software systems
    Chen, Ing-Ray
    Cukic, Bojan
    COMPUTER JOURNAL, 2006, 49 (05): : 507 - 508
  • [2] Principles of Railway Transportation
    Daniels, W. M.
    YALE LAW JOURNAL, 1924, 34 (01): : 111 - 112
  • [3] Principles of Railway Transportation
    Acworth, W. M.
    ECONOMIC JOURNAL, 1925, 35 (137): : 84 - 89
  • [4] Principles of Railway Transportation
    不详
    AMERICAN POLITICAL SCIENCE REVIEW, 1926, 20 (02) : 458 - 458
  • [5] Principles of Railway Transportation
    Daggert, Stuart
    ANNALS OF THE AMERICAN ACADEMY OF POLITICAL AND SOCIAL SCIENCE, 1925, 118 : 183 - 184
  • [6] Principles of railway transportation
    Ruggles, C. O.
    AMERICAN ECONOMIC REVIEW, 1925, 15 (01): : 104 - 105
  • [7] PRINCIPLES OF RAILWAY TRANSPORTATION
    Hale, Robert L.
    COLUMBIA LAW REVIEW, 1926, 26 (04) : 501 - 504
  • [8] High assurance systems engineering
    Ghafoor, A
    TWENTIETH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE (COMPSAC'96), PROCEEDINGS, 1996, 20 : 396 - 396
  • [9] ADVANCES IN ENGINEERING SOFTWARE FOR LIFT TRANSPORTATION SYSTEMS
    Kazakoff, Alexander Borisoff
    JOURNAL OF THEORETICAL AND APPLIED MECHANICS-BULGARIA, 2012, 42 (01): : 3 - 22
  • [10] A software architecture for Artificial Transportation Systems - Principles and framework
    Li, Jinyuan
    Tang, Shuming
    Wang, Xiqin
    Wang, Fei-Yue
    2007 IEEE INTELLIGENT TRANSPORTATION SYSTEMS CONFERENCE, VOLS 1 AND 2, 2007, : 1118 - +
12345