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 条
  • [41] Does sweeping of the membranes reduce the need for formal induction of labour? A randomised controlled trial
    Boulvain, M
    Fraser, WD
    Marcoux, S
    Fontaine, JY
    Bazin, S
    Pinault, JJ
    Blouin, D
    BRITISH JOURNAL OF OBSTETRICS AND GYNAECOLOGY, 1998, 105 (01): : 34 - 40
  • [42] Formal method in implementation of atlas language
    Guo De-Gui
    Liu Lei
    COMPUTATIONAL METHODS, PTS 1 AND 2, 2006, : 1193 - +
  • [43] Does the definition of chronic active T cell-mediated rejection need revisiting?
    Naesens, Maarten
    Haas, Mark
    Loupy, Alexandre
    Roufosse, Candice
    Mengel, Michael
    AMERICAN JOURNAL OF TRANSPLANTATION, 2021, 21 (05) : 1689 - 1690
  • [44] Towards an MIE atlas - Definition and role
    Allen, Timothy
    Goodman, Jonathan
    Gutsell, Steve
    Russell, Paul
    TOXICOLOGY LETTERS, 2014, 229 : S52 - S52
  • [45] Editorial: do we need another bleeding definition? What does the Bleeding Academic Research Consortium definition have to offer?
    White, Harvey D.
    CURRENT OPINION IN CARDIOLOGY, 2011, 26 (04) : 275 - 278
  • [46] ON A FORMAL DEFINITION AND APPLICATION OF DIMENSIONAL DESIGN
    BERTRANSALVANS, M
    SOFTWARE-PRACTICE & EXPERIENCE, 1988, 18 (11): : 1029 - 1045
  • [47] A FORMAL DEFINITION OF BINARY TOPOLOGICAL RELATIONSHIPS
    EGENHOFER, MJ
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 367 : 457 - 472
  • [48] Notes on providing a formal definition of equivalence
    Martino, Gabrielle
    ANTHROPOLOGICAL THEORY, 2010, 10 (1-2) : 143 - 148
  • [49] LEARN: An alternative formal semantics definition
    Karakitsos, G
    Berki, E
    Georgiadou, E
    SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 871 - 876
  • [50] A formal definition for trust in distributed systems
    Xiu, DX
    Liu, ZY
    INFORMATION SECURITY, PROCEEDINGS, 2005, 3650 : 482 - 489
12345