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 条
  • [1] APPLICATION OF FORMAL METHODS IN SYSTEM DESIGN.
    Norris, Mark T.
    British Telecom technology journal, 1985, 3 (04): : 53 - 59
  • [2] 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
  • [3] Formal and analytic integrability of the Rossler system
    Llibre, Jaume
    Valls, Claudia
    INTERNATIONAL JOURNAL OF BIFURCATION AND CHAOS, 2007, 17 (09): : 3289 - 3293
  • [4] Formal and analytic integrability of the Lorenz system
    Llibre, M
    Valls, C
    JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 2005, 38 (12): : 2681 - 2686
  • [5] APPLICATION OF FORMAL METHODS FOR VALIDATION AND VERIFICATION OF EMBEDDED SYSTEM COMMUNICATION PROTOCOL
    Saghar, M. Asim Minhas Kashif
    Farooq, Tariq
    2016 13TH INTERNATIONAL BHURBAN CONFERENCE ON APPLIED SCIENCES AND TECHNOLOGY (IBCAST), 2016, : 385 - 390
  • [6] Application of formal methods for system-level verification of Network on Chip
    Palaniveloo, Vinitha Arakkonam
    Sowmya, Arcot
    2011 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI (ISVLSI), 2011, : 162 - 169
  • [7] APPLICATION OF FORMAL METHODS TO THE VIPER MICROPROCESSOR
    CULLYER, WJ
    PYGOTT, CH
    IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1987, 134 (03): : 133 - 141
  • [8] On the application of formal methods within automation
    Fehrer, Detlef
    VDI Berichte, 2003, (1809): : 55 - 64
  • [9] Preface for the formal methods in system design special issue on ‘Formal Methods 2021’
    Marieke Huisman
    Corina S. Păsăreanu
    Naijun Zhan
    Formal Methods in System Design, 2022, 61 : 1 - 2
  • [10] Preface for the formal methods in system design special issue on 'Formal Methods 2021'
    Huisman, Marieke
    Pasareanu, Corina S.
    Zhan, Naijun
    FORMAL METHODS IN SYSTEM DESIGN, 2022, 61 (01) : 1 - 2
12345