Application of formal methods to railway signalling. A case study

被引：0
|
作者：
Cullyer, John [1 ]
Wong, Wai [1 ]
机构：
[1] Univ of Warwick, United Kingdom
来源：
Computing and Control Engineering Journal | 1993年 / 4卷 / 01期
关键词：
13;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：15 / 22
相关论文
共 50 条
  • [41] APPLICATION OF FORMAL METHODS TO THE VIPER MICROPROCESSOR
    CULLYER, WJ
    PYGOTT, CH
    IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1987, 134 (03): : 133 - 141
  • [42] Interactive multimedia in training - A case study in underground railway application
    Chang, CS
    COMPUTING & CONTROL ENGINEERING JOURNAL, 1996, 7 (05): : 227 - 231
  • [43] On the application of formal methods within automation
    Fehrer, Detlef
    VDI Berichte, 2003, (1809): : 55 - 64
  • [44] Application of reliability centered maintenance in railway locomotive - A case study
    Cheng Zhonghua
    Li Fengxue
    Wu Su
    Gao Ping
    PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON MAINTENANCE ENGINEERING, 2006, : 269 - 275
  • [45] Formal Methods for Validation and Test Point Prioritization in Railway Signaling Logic
    Ghosh, Shiladitya
    Das, Arindam
    Basak, Nirvik
    Dasgupta, Pallab
    Katiyar, Alok
    IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2017, 18 (03) : 678 - 689
  • [46] Using Formal Methods to Validate Research Hypotheses: The Duolingo Case Study
    Cerone, Antonio
    Zhexenbayeva, Aiym
    SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS, 2018, 11176 : 163 - 170
  • [47] Formal Modeling and Verification of the Functionality of Electronic Urban Railway Control Systems Through a Case Study
    Lukacs, Gabor
    Bartha, Tamas
    URBAN RAIL TRANSIT, 2022, 8 (3-4) : 217 - 245
  • [48] Formal Modeling and Verification of the Functionality of Electronic Urban Railway Control Systems Through a Case Study
    Gábor Lukács
    Tamás Bartha
    Urban Rail Transit, 2022, 8 : 217 - 245
  • [49] Applying Formal Design Methods to Serious Game Design: A Case Study
    Bril, Ivo
    Degens, Nick
    PROCEEDINGS OF THE 10TH EUROPEAN CONFERENCE ON GAMES BASED LEARNING, 2016, : 873 - 880
  • [50] SUBSTITUTION - A FORMAL METHODS CASE-STUDY USING MONADS AND TRANSFORMATIONS
    BELLEGARDE, F
    HOOK, J
    SCIENCE OF COMPUTER PROGRAMMING, 1994, 23 (2-3) : 287 - 311
12345