DOES ATLAS NEED A FORMAL DEFINITION

被引：0
|
作者：
GAUTHIER, RL
HART, DC
机构：
来源：
IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC SYSTEMS | 1976年 / 12卷 / 02期
关键词：
D O I：
暂无
中图分类号：
V [航空、航天];
学科分类号：
08 ; 0825 ;
摘要：
引用
收藏
页码：304 / 304
页数：1
相关论文
共 50 条
  • [21] A FORMAL DEFINITION FOR SYSTOLIC SYSTEMS
    DEBAER, D
    PAREDAENS, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 269 : 97 - 104
  • [22] A Formal Definition of Time in LOTOS
    Léonard, Luc
    Leduc, Guy
    Formal Aspects of Computing, 1998, 10 (03): : 248 - 266
  • [23] A formal semantic definition of DEVIL
    Luo, L
    Zhu, MY
    Zhang, QL
    ACM SIGPLAN NOTICES, 2003, 38 (04) : 47 - 56
  • [24] From the Formal Definition of Concept to the Linguistic Definition of Term
    Roche, Christophe
    ACADEMIC JOURNAL OF MODERN PHILOLOGY, 2021, 13 : 275 - 290
  • [25] Fuzzy OLAP: A Formal Definition
    Gonzalez, Claudia
    Tineo, Leonid
    Urrutia, Angelica
    ADVANCES IN COMPUTATIONAL INTELLIGENCE, 2009, 61 : 189 - +
  • [26] THE FORMAL DEFINITION OF THE ENVIRONMENT OF AN ANIMAL
    NIVEN, BS
    AUSTRALIAN JOURNAL OF ECOLOGY, 1980, 5 (01): : 37 - 46
  • [27] FORMAL DEFINITION OF BASIC LANGUAGE
    LEE, JAN
    COMPUTER JOURNAL, 1972, 15 (01): : 37 - &
  • [28] EXECUTING THE FORMAL DEFINITION OF ADA
    FANTECHI, A
    GNESI, S
    LEGGIO, F
    TALINI, P
    SIGPLAN NOTICES, 1991, 26 (03): : 25 - 34
  • [29] A Formal Definition of Simulation Validity
    Albert, Vincent
    Nketsa, Alexandre
    EUROPEAN SIMULATION AND MODELLING CONFERENCE 2009, 2009, : 43 - 48
  • [30] Towards a formal definition of methods
    Naveen Prakash
    Requirements Engineering, 1997, 2 (1) : 23 - 50
12345