APPLICATION OF FORMAL ANALYTIC METHODS TO NAVAL SYSTEM STUDIES

被引：0
|
作者：
BURDICK, DC
GOINS, AE
机构：
来源：
REPORT OF NRL PROGRESS | 1965年 / JAN期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：14 / &
相关论文
共 50 条
  • [41] Formal Methods for Safety Critical System Specification
    Lockhart, Jonathan
    Purdy, Carla
    Wilsey, Philip
    2014 IEEE 57TH INTERNATIONAL MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS (MWSCAS), 2014, : 201 - 204
  • [42] Formal methods for robotic system control software
    Kouskoulas, Yanni
    Platzer, André
    Kazanzides, Peter
    Johns Hopkins APL Technical Digest (Applied Physics Laboratory), 2013, 32 (02): : 490 - 498
  • [43] Formal methods in a system-of-systems development
    Caffall, DS
    Michael, JB
    INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOL 1-4, PROCEEDINGS, 2005, : 1856 - 1863
  • [44] EXPERT SYSTEM KNOWLEDGE ENGINEERING WITH AN APPLICATION FOR DIAGNOSTICS IN A NAVAL DEFENSE SYSTEM
    DESROSIERS, M
    GOLDBOGEN, G
    EXPERT SYSTEMS AND THE LEADING EDGE IN PRODUCTION AND OPERATIONS MANAGEMENT: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE, 1989, : 95 - 107
  • [45] HEAT-TRANSFER STUDIES ON A ROCKET NOZZLE FOR NAVAL APPLICATION
    DAS, DK
    MOORE, GR
    BOYER, CT
    NAVAL ENGINEERS JOURNAL, 1988, 100 (01) : 29 - 35
  • [46] Towards Formal Methods of IoT Application Layer Protocols
    Hofer-Schmitz, Katharina
    Stojanovic, Branka
    2019 12TH CMI CONFERENCE ON CYBERSECURITY AND PRIVACY (CMI), 2019, : 20 - 25
  • [47] APPLICATION AND BENEFITS OF FORMAL METHODS IN SOFTWARE-DEVELOPMENT
    PLAT, N
    VANKATWIJK, J
    TOETENEL, H
    SOFTWARE ENGINEERING JOURNAL, 1992, 7 (05): : 335 - 346
  • [48] Application of formal methods to the development of a software maintenance tool
    Blazy, S
    Facon, P
    AUTOMATED SOFTWARE ENGINEERING, 12TH IEEE INTERNATIONAL CONFERENCE, PROCEEDINGS, 1997, : 162 - 171
  • [49] Formal methods application: An empirical tale of software development
    Sobel, AEK
    Clarkson, MR
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2002, 28 (03) : 308 - 320
  • [50] THE APPLICATION OF FORMAL METHODS TO THE ASSESSMENT OF HIGH INTEGRITY SOFTWARE
    BLOOMFIELD, RE
    FROOME, PKD
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (09) : 988 - 993
12345