MODELS OF FORMAL SYSTEMS

被引：0
|
作者：
SHOENFIELD, JR
机构：
来源：
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY | 1954年 / 60卷 / 04期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：350 / 350
页数：1
相关论文
共 50 条
  • [1] Formal Models of Biological Systems
    Theocharopoulou, Georgia
    Bobori, Catherine
    Vlamos, Panayiotis
    [J]. GENEDIS 2016: COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, 2017, 988 : 325 - 338
  • [2] Formal Models for Cognitive Systems
    Ramaswamy, Arunkumar
    Monsuez, Bruno
    Tapus, Adriana
    [J]. 2013 16TH INTERNATIONAL CONFERENCE ON ADVANCED ROBOTICS (ICAR), 2013,
  • [3] ON VERIFICATION OF FORMAL MODELS OF COMPLEX SYSTEMS
    Smyrin, A. A. M.
    Lukyanova, E. A.
    [J]. TURKISH ONLINE JOURNAL OF DESIGN ART AND COMMUNICATION, 2018, 8 : 348 - 352
  • [4] FORMAL MODELS FOR ALTERNATIVE REPRESENTATIONS OF MANUFACTURING SYSTEMS OF SYSTEMS
    Lee, Seungyub
    Wysk, Richard A.
    Shin, Dongmin
    [J]. 2013 WINTER SIMULATION CONFERENCE (WSC), 2013, : 2698 - +
  • [5] Semi-formal and formal models applied to flexible manufacturing systems
    Matta, A
    Furia, CA
    Rossi, M
    [J]. COMPUTER AND INFORMATION SCIENCES - ISCIS 2004, PROCEEDINGS, 2004, 3280 : 718 - 728
  • [6] Formal Methods for Systems Engineering Behavior Models
    Seidner, Charlotte
    Roux, Olivier H.
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2008, 4 (04) : 280 - 291
  • [7] FORMAL MODELS IN DESIGN OF WATER RESOURCE SYSTEMS
    DORFMAN, R
    [J]. WATER RESOURCES RESEARCH, 1965, 1 (03) : 329 - &
  • [8] An Analysis on Formal Models of Computation for the Avionics Systems Domain
    Duarte, Gabriel C.
    Loubach, Denis S.
    [J]. 2023 IEEE/AIAA 42ND DIGITAL AVIONICS SYSTEMS CONFERENCE, DASC, 2023,
  • [9] Design of embedded systems: Formal models, validation, and synthesis
    Edwards, S
    Lavagno, L
    Lee, EA
    SangiovanniVincentelli, A
    [J]. PROCEEDINGS OF THE IEEE, 1997, 85 (03) : 366 - 390
  • [10] Formal methods for analysis of heterogeneous models of embedded systems
    Nadjm-Tehrani, S
    [J]. PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON COMPUTER-AIDED CONTROL SYSTEM DESIGN, 2000, : 141 - 146
12345