Formal methods for robotic system control software

被引：0
|
作者：
Kouskoulas, Yanni [1 ]
Platzer, André [2 ]
Kazanzides, Peter [3 ]
机构：
[1] APL, United States
[2] Carnegie Mellon University, United States
[3] Johns Hopkins University, United States
来源：
Johns Hopkins APL Technical Digest (Applied Physics Laboratory) | 2013年 / 32卷 / 02期
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Formal methods
引用
下载
收藏
页码：490 / 498
相关论文
共 50 条
  • [1] Formal Methods for Robotic System Control Software
    Kouskoulas, Yanni
    Platzer, Andre
    Kazanzides, Peter
    JOHNS HOPKINS APL TECHNICAL DIGEST, 2013, 32 (02): : 490 - 498
  • [2] Software engineering with formal methods: The development of a storm surge barrier control system revisiting seven myths of formal methods
    Tretmans, J
    Wijbrans, K
    Chaudron, M
    FORMAL METHODS IN SYSTEM DESIGN, 2001, 19 (02) : 195 - 215
  • [3] Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods
    Jan Tretmans
    Klaas Wijbrans
    Michel Chaudron
    Formal Methods in System Design, 2001, 19 : 195 - 215
  • [4] Formal methods software engineering for the CARA system
    Martin J.C.
    International Journal on Software Tools for Technology Transfer, 2004, 5 (4) : 301 - 307
  • [5] Software engineering with formal methods: Experiences with the development of a storm surge barrier control system
    Wijbrans, Klaas
    Buve, Franc
    Rijkers, Robin
    Geurts, Wouter
    FM 2008: FORMAL METHODS, PROCEEDINGS, 2008, 5014 : 419 - +
  • [6] Software (Formal methods)
    NZ Eng, 5 (18):
  • [7] Applying formal methods to a certifiably secure software system
    Heitmeyer, Constance L.
    Archer, Myla M.
    Leonard, Elizabeth I.
    McLean, John D.
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2008, 34 (01) : 82 - 98
  • [8] A survey: Applying formal methods to a software intensive system
    de Groot, A
    Hooman, J
    Kordon, F
    Paviot-Adet, E
    Mounier, I
    Lemoine, M
    Gaudiere, G
    Winter, VL
    Kapur, D
    SIXTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, 2001, : 55 - 64
  • [9] Formal Methods for Embedded Control Software: Some Recent Progress
    Deshmukh, Jyotirmoy V.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (232): : 9 - +
  • [10] Application of formal methods in train control system
    Cao, Yuan
    Tang, Tao
    Xu, Tian-Hua
    Mu, Jian-Cheng
    Jiaotong Yunshu Gongcheng Xuebao/Journal of Traffic and Transportation Engineering, 2010, 10 (01): : 112 - 126
12345