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 条
  • [41] Formal models and prototyping
    Luqi
    [J]. REQUIREMENTS TARGETING SOFTWARE AND SYSTEMS ENGINEERING, 1998, 1526 : 257 - 272
  • [42] ON THE FAITHFULNESS OF FORMAL MODELS
    MANNA, Z
    PNUELI, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 520 : 28 - 42
  • [43] Formal Models of Awareness
    Thomas Ågotnes
    Natasha Alechina
    [J]. Journal of Logic, Language and Information, 2014, 23 : 105 - 106
  • [44] FORMAL MODELS OF AESTHETICS
    GOWEN, J
    [J]. POETICS, 1987, 16 (3-4) : 269 - 273
  • [45] A Formal Framework for Verification and Validation of External Behavioral Models of Embedded Systems through Use Case Models
    Sastry, J. K. R.
    Chandra, Prakash, V
    Reddy, L. S. S.
    [J]. PROCEEDINGS OF THE 2009 FOURTH INTERNATIONAL CONFERENCE ON EMBEDDED AND MULTIMEDIA COMPUTING, 2009, : 222 - 229
  • [46] An approach to the creation of formal models of the influence of environmental impact on the development of biological systems
    Vasilik, PV
    Provotar, AI
    [J]. CYBERNETICS AND SYSTEMS ANALYSIS, 1999, 35 (04) : 658 - 665
  • [47] An approach to the creation of formal models of the influence of environmental impact on the development of biological systems
    P. V. Vasilika
    A. I. Provotar
    [J]. Cybernetics and Systems Analysis, 1999, 35 : 658 - 665
  • [48] Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols
    N. V. Pakulin
    A. V. Khoroshilov
    [J]. Programming and Computer Software, 2007, 33 : 316 - 335
  • [49] Formal Models of the Structural Errors in the Knowledge Bases of Intellectual Decision Making Systems
    Dolinina, Olga
    Suchkova, Natalya
    [J]. ARTIFICIAL INTELLIGENCE TRENDS IN INTELLIGENT SYSTEMS, CSOC2017, VOL 1, 2017, 573 : 156 - 167
  • [50] Formal Models for Analysing Dynamic Adaptation Behaviour in Real-Time Systems
    Kloes, Verena
    Goethel, Thomas
    Glesner, Sabine
    [J]. 2016 IEEE 1ST INTERNATIONAL WORKSHOPS ON FOUNDATIONS AND APPLICATIONS OF SELF* SYSTEMS (FAS*W), 2016, : 106 - 111
12345