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 条
  • [21] Successful application of formal methods to software and hardware
    Huling, G
    WESCON - 96, CONFERENCE PROCEEDINGS, 1996, : 504 - 506
  • [22] Lessons learned in the application of formal methods to the design of a storm surge barrier control system
    Goorden, Martijn
    Van de Mortel-Fronczak, Joanna
    van Eldik, Koen
    Fokkink, Wan
    Rooda, Jacobus
    IFAC PAPERSONLINE, 2022, 55 (28): : 93 - 99
  • [23] Lessons from the application of formal methods to the design of a storm surge barrier control system
    Chaudron, M
    Tretmans, J
    Wijbrans, K
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1511 - 1526
  • [24] 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
  • [25] PROOFS - APPLICATION ENGINEERING BASED ON FORMAL METHODS
    VANHEE, K
    HILDEBRAND, T
    COPELLI, S
    MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 29 - 36
  • [26] EXPERIMENTAL LINC LABORATORY ANALYTIC (ELLA) SYSTEM - APPLICATION TO ENZYME KINETIC STUDIES
    HICKS, GP
    EGGERT, AA
    CLINICAL CHEMISTRY, 1968, 14 (08) : 798 - &
  • [27] THE APPLICATION OF RATIO ESTIMATORS TO ANALYTIC STUDIES
    HARTLEY, HO
    JOURNAL OF THE AMERICAN STATISTICAL ASSOCIATION, 1960, 55 (290) : 361 - 362
  • [28] APPLICATION OF ANALYTIC METHODS TO FAST REACTOR SPECTRA
    DUNN, FE
    BECKER, M
    TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, 1969, 12 (02): : 640 - &
  • [29] ANALYTIC METHODS IN MATCHED PAIR EPIDEMIOLOGIC STUDIES
    ROSNER, B
    HENNEKENS, CH
    AMERICAN JOURNAL OF EPIDEMIOLOGY, 1977, 106 (03) : 235 - 235
  • [30] ANALYTIC METHODS IN MATCHED PAIR EPIDEMIOLOGIC STUDIES
    ROSNER, B
    HENNEKENS, C
    BIOMETRICS, 1978, 34 (01) : 165 - 165
12345