Implementing reactive closed-system specifications

被引：0
|
作者：
机构：
[1] Klapuri, Harri
[2] Takala, Jarmo
[3] Saarinen, Jukka
来源：
Klapuri, H. (harrik@cs.tut.fi) | 1600年 / Elsevier卷 / 24期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
18
引用
收藏
相关论文
共 50 条
  • [1] Implementing reactive closed-system specifications
    Klapuri, H
    Takala, J
    Saarinen, J
    JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2001, 24 (02) : 101 - 123
  • [2] Codesign requires closed-system specifications
    Mikkonen, T
    INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOL VI, PROCEEDINGS, 1999, : 2968 - 2974
  • [3] Component and interface refinement in closed-system specifications
    Kurki-Suonio, R
    FM'99-FORMAL METHODS, 1999, 1708 : 134 - 154
  • [4] A CLOSED-SYSTEM FOR DRAINAGE
    COCCARO, SF
    PLASTIC AND RECONSTRUCTIVE SURGERY, 1995, 95 (07) : 1327 - 1328
  • [5] A CLOSED-SYSTEM CALORIMETER
    ROCH, DP
    SMITH, BC
    THAKUR, L
    CHEMISTRY & INDUSTRY, 1965, (43) : 1787 - &
  • [6] Decoherence: A Closed-System Approach
    Fortin, Sebastian
    Lombardi, Olimpia
    Castagnino, Mario
    BRAZILIAN JOURNAL OF PHYSICS, 2014, 44 (01) : 138 - 153
  • [7] Decoherence: A Closed-System Approach
    Sebastian Fortin
    Olimpia Lombardi
    Mario Castagnino
    Brazilian Journal of Physics, 2014, 44 : 138 - 153
  • [8] FEATURES OF A CLOSED-SYSTEM ECONOMY
    OVERBURY, RE
    NATURE, 1973, 242 (5400) : 561 - 565
  • [9] Risk Aversion and Closed-System Processing
    Chalk, Simon
    BIOPHARM INTERNATIONAL, 2013, 26 (11) : 50 - +
  • [10] CLOSED-SYSTEM INSTALLATIONS OF WATER COOLING
    TAGGE, J
    TEKSTIL, 1995, 44 (07): : 330 - 333
12345