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 条
  • [31] Formal methods integration in software engineering
    Perseil, Isabelle
    Pautet, Laurent
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2010, 6 (1-2) : 5 - 11
  • [32] EDUCATION IN FORMAL METHODS FOR SOFTWARE ENGINEERING
    WORDSWORTH, J
    INFORMATION AND SOFTWARE TECHNOLOGY, 1987, 29 (01) : 27 - 32
  • [33] Formal methods in software practice - Introduction
    Dillon, LK
    Sankar, S
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1997, 23 (05) : 265 - 266
  • [34] FORMAL METHODS APPLIED TO SOFTWARE PRODUCTION
    FRASER, AG
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 8 : 3 - 9
  • [35] SEFM: software engineering and formal methods
    Gilles Barthe
    Alberto Pardo
    Gerardo Schneider
    Software & Systems Modeling, 2015, 14 : 3 - 4
  • [36] SEFM: software engineering and formal methods
    Barthe, Gilles
    Pardo, Alberto
    Schneider, Gerardo
    SOFTWARE AND SYSTEMS MODELING, 2015, 14 (01): : 3 - 4
  • [37] Hardware and Software tools for motion control of mobile robotic system
    Tsmots, Ivan
    Teslyuk, Vasyl
    Vavruk, Iryna
    2013 12TH INTERNATIONAL CONFERENCE ON THE EXPERIENCE OF DESIGNING AND APPLICATION OF CAD SYSTEMS IN MICROELECTRONICS (CADSM 2013), 2013, : 368 - 368
  • [38] Teaching Formal Methods: From Software in the Small to Software in the Large
    Gallardo, Maria-del-Mar
    Panizo, Laura
    FORMAL METHODS TEACHING (FMTEA 2019), 2019, 11758 : 97 - 110
  • [39] On the utility of formal methods in the development and certification of software
    Heitmeyer, Constance L.
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2007, 4732 : 1 - 2
  • [40] SOFTWARE ENGINEERING - FORMAL METHODS .1.
    DEMAN, J
    MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 361 - 361
12345