A FORMAL DEFINITION FOR SYSTOLIC SYSTEMS

被引：0
|
作者：
DEBAER, D
PAREDAENS, J
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 269卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：97 / 104
页数：8
相关论文
共 50 条
  • [1] A formal definition for trust in distributed systems
    Xiu, DX
    Liu, ZY
    INFORMATION SECURITY, PROCEEDINGS, 2005, 3650 : 482 - 489
  • [2] Stakeholder Needs in Systems Engineering: A Proposal for a Formal Definition
    Kubin, Alexander
    Wagenmann, Steffen
    Reichert, Fabio
    Mandel, Constantin
    Albers, Albert
    2023 IEEE INTERNATIONAL SYSTEMS CONFERENCE, SYSCON, 2023,
  • [3] On the formal definition of the systems' interoperability capability: an anthropomorphic approach
    Zdravkovic, Milan
    Luis-Ferreira, Fernando
    Jardim-Goncalves, Ricardo
    Trajanovic, Miroslav
    ENTERPRISE INFORMATION SYSTEMS, 2017, 11 (03) : 389 - 413
  • [4] A formal definition of carriers
    Jaime Keller
    Peter Weinberger
    Advances in Applied Clifford Algebras, 2002, 12 (1) : 39 - 62
  • [5] FORMAL DEFINITION OF ORGANIZATION
    ATLAN, H
    JOURNAL OF THEORETICAL BIOLOGY, 1974, 45 (02) : 295 - 304
  • [6] FORMAL DEFINITION OF SOL
    KNUTH, DE
    MCNELEY, JL
    IEEE TRANSACTIONS ON COMPUTERS, 1964, EC13 (04) : 409 - &
  • [7] A FORMAL DEFINITION OF DIANA
    UHL, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 180 : 35 - 47
  • [8] FORMAL DEFINITION OF FORTH
    TING, CH
    DR DOBBS JOURNAL, 1982, 7 (02): : 19 - &
  • [9] On formal definition and analysis of formal verification processes
    Osterweil, Leon J.
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8373 : 35 - 52
  • [10] Toward a formal definition of water scarcity in natural-human systems
    Jaeger, W. K.
    Plantinga, A. J.
    Chang, H.
    Dello, K.
    Grant, G.
    Hulse, D.
    McDonnell, J. J.
    Lancaster, S.
    Moradkhani, H.
    Morzillo, A. T.
    Mote, P.
    Nolin, A.
    Santelmann, M.
    Wu, J.
    WATER RESOURCES RESEARCH, 2013, 49 (07) : 4506 - 4517
12345