ACTION SYSTEM APPROACH TO THE SPECIFICATION AND DESIGN OF DISTRIBUTED SYSTEMS

被引：0
|
作者：
KURKISUONIO, R
JARVINEN, HM
机构：
来源：
SOFTWARE DEVELOPMENT TRENDS | 1989年 / 104卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：9 / 21
页数：13
相关论文
共 50 条
  • [41] Formal specification and analysis of distributed systems
    Kaunas University of Technology, Studentu 50, Kaunas LT-3028, Lithuania
    J Intell Manuf, 6 (559-569):
  • [42] AUTOFOCUS - A tool for distributed systems specification
    Huber, F
    Schatz, B
    Schmidt, A
    Spies, K
    FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1996, 1135 : 467 - 470
  • [43] Distributed Reconfigurable B approach for the specification and verification of B-based distributed reconfigurable control systems
    Oueslati, Raja
    Mosbahi, Olfa
    ADVANCES IN MECHANICAL ENGINEERING, 2017, 9 (11):
  • [44] A GENERAL-APPROACH FOR MANIPULATOR SYSTEM SPECIFICATION, DESIGN, AND VALIDATION
    DEPKOVICH, TM
    STOUGHTON, RM
    PROCEEDINGS - 1989 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOL 1-3, 1989, : 1402 - 1407
  • [45] The application of a systems methodology to the design and specification of an intelligent telecare system
    Williams, G
    Bradley, DA
    Doughty, K
    MECHATRONICS '98, 1998, : 787 - 792
  • [46] Using the B formal approach for incremental specification design of interactive systems
    Aït-Ameur, Y
    Girard, P
    Jambon, F
    ENGINEERING FOR HUMAN-COMPUTER INTERACTION, 1999, 22 : 91 - 109
  • [47] Specification and Design of Embedded Systems
    Department of Information and Computer Science, University of California, Irvine
    CA
    92697-3425, United States
    IT Info. Tech., 3 (7-12):
  • [48] AN APPROACH TO THE DESIGN OF DISTRIBUTED MACHINERY CONTROL-SYSTEMS
    DUFFIE, NA
    IEEE TRANSACTIONS ON INDUSTRY APPLICATIONS, 1982, 18 (04) : 435 - 442
  • [49] A Simple Approach to Distributed Observer Design for Linear Systems
    Han, Weixin
    Trentelman, Harry L.
    Wang, Zhenhua
    Shen, Yi
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2019, 64 (01) : 329 - 336
  • [50] DESIGN APPROACH OF DISTRIBUTED SYSTEMS FOR THE CONTROL OF INDUSTRIAL PROCESS
    Boudebous, D.
    Boukachour, J.
    Benmansour, S.
    Smata, N.
    ICEIS 2011: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 3, 2011, : 157 - 164
12345