DISTRIBUTED SYSTEMS - METHODS AND TOOLS FOR SPECIFICATION - ACQUISITION ENVIRONMENT

被引：0
|
作者：
MULLERY, GP
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 190卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：45 / 130
页数：86
相关论文
共 50 条
  • [1] DISTRIBUTED SYSTEMS - METHODS AND TOOLS FOR SPECIFICATION - BASIC CONCEPTS
    ALFORD, MW
    LAMPORT, L
    MULLERY, GP
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 190 : 7 - 43
  • [2] Formal methods integration for the specification of dependable distributed systems
    Mazzocca, N
    Russo, S
    Vittorini, V
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 1997, 43 (10) : 671 - 685
  • [3] Methods and tools for profiling and control of distributed systems
    Sukharev, R.
    Lukyanchikov, O.
    Nikulchev, E.
    Biryukov, D.
    Ryadchikov, I.
    [J]. 2017 WORKSHOP ON MATERIALS AND ENGINEERING IN AERONAUTICS (MEA2017), 2018, 312
  • [4] Methods and Tools for Profiling and Control of Distributed Systems
    Sukharev, Roman
    Pluzhnik, Evgeniy
    Lukyanchikov, Oleg
    Biryukov, Dmitry
    [J]. 2017 SEMINAR ON SYSTEMS ANALYSIS, 2017, 10
  • [5] PRACTICAL METHODS AND TOOLS FOR SPECIFICATION
    LUDEWIG, J
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 284 : 174 - 207
  • [6] SPECIFICATION IN DISTRIBUTED SYSTEMS
    VONBOCHMANN, G
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 184 : 470 - 497
  • [7] Hardware simulation in distributed computing systems: Methods and tools
    Grebnev, VA
    Kapitonova, YV
    Letichevskii, AA
    [J]. CYBERNETICS AND SYSTEMS ANALYSIS, 1995, 31 (03) : 350 - 364
  • [8] SPECIFICATION LANGUAGES FOR DISTRIBUTED SYSTEMS
    DEGANO, P
    MONTANARI, U
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 29 - 51
  • [9] Improving HFI within systems acquisition: Methods, tools and future directions
    Newman P.
    Bruseberg A.
    Lowe M.
    Borras C.
    Tatlock K.
    [J]. Cognition, Technology & Work, 2008, 10 (3) : 173 - 180
  • [10] Control of distributed data acquisition systems using object oriented methods
    Kemmerling, G
    Korten, M
    [J]. ACCELERATOR AND LARGE EXPERIMENTAL PHYSICS CONTROL SYSTEMS, 1997, : 385 - 387
12345