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 条
  • [41] Successful application of formal methods to software and hardware
    Huling, G
    WESCON - 96, CONFERENCE PROCEEDINGS, 1996, : 504 - 506
  • [42] Formal foundations for software engineering methods - Introduction
    Hussmann, H
    FORMAL FOUNDATIONS FOR SOFTWARE ENGINEERING METHODS, 1997, 1322 : 1 - +
  • [43] Formal methods in industrial software standards enforcement
    Grinevich, Alexey
    Khoroshilov, Alexey
    Kuliamin, Victor
    Markovtsev, Denis
    Petrenko, Alexander
    Rubanov, Vladimir
    PERSPECTIVES OF SYSTEMS INFORMATICS, 2007, 4378 : 456 - +
  • [44] ASD case notes: Costs and benefits of applying formal methods to industrial control software
    Broadfoot, GH
    FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 548 - 551
  • [45] Formal Methods in Software Product Line Engineering
    Schaefer, Ina
    Hahnle, Reiner
    COMPUTER, 2011, 44 (02) : 82 - 85
  • [46] Formal engineering methods for software quality assurance
    Liu, Shaoying
    FRONTIERS OF COMPUTER SCIENCE, 2012, 6 (01) : 1 - 2
  • [47] Application of lightweight formal methods to software security
    Gilliam, DP
    Powell, JD
    Bishop, M
    FOURTEENTH IEEE INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, PROCEEDINGS, 2005, : 160 - 165
  • [48] APPLICATIONS OF FORMAL METHODS - DEVELOPING VIRTUOSO SOFTWARE
    GERHART, SL
    IEEE SOFTWARE, 1990, 7 (05) : 6 - 10
  • [49] ON THE RELEVANCE OF FORMAL METHODS TO SOFTWARE-DEVELOPMENT
    FLOYD, C
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 186 : 1 - 11
  • [50] INTRODUCTION TO FORMAL METHODS OF SOFTWARE-DESIGN
    DAVIES, AC
    MICROPROCESSORS AND MICROSYSTEMS, 1988, 12 (10) : 547 - 553
12345