Topological framework of stepwise specification for concurrent systems

被引：0

作者：

Sendai Natl Coll of Technology, Sendai-shi, Japan ^{[1
]}

机构：

来源：

IEICE Trans Fund Electron Commun Comput Sci | / 11卷 / 1760-1767期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

7

引用

收藏

相关论文

共 50 条

[41] Concurrent specification in the co-design of reactive engineering systems
Garg, A
Chawdhry, PK
JOURNAL OF ENGINEERING DESIGN, 1998, 9 (01) : 17 - 28
[42] FORMAL BEHAVIORAL SPECIFICATION OF CONCURRENT SYSTEMS WITHOUT GLOBALITY ASSUMPTIONS
LAUER, PE
SHIELDS, MW
COTRONIS, JY
LECTURE NOTES IN COMPUTER SCIENCE, 1981, 107 : 115 - 151
[43] Topological and almost Borel universality for systems with the weak specification property
Burguet, David
ERGODIC THEORY AND DYNAMICAL SYSTEMS, 2020, 40 (08) : 2098 - 2115
[44] TOPOLOGICAL SPECIFICATION OF STERIC COURSE OF ADDITION REACTIONS WITH UNSATURATED SYSTEMS
CERVINKA, O
CHEMICKE LISTY, 1967, 61 (10): : 1307 - &
[45] Executable UML Specification of Automatic Train Control Systems and Its Stepwise Transformation
Shiraishi, Takashi
Zakaria, Nurul Azma
Matsumoto, Noriko
Yoshida, Norihiko
Nakayama, Toshihiro
PROCEEDINGS OF 2008 INTERNATIONAL SYMPOSIUM ON APPLIED COMPUTING AND COMPUTATIONAL SCIENCES: ADVANCES IN APPLIED COMPUTING AND COMPUTATIONAL SCIENCES, 2008, : 128 - 131
[46] LeGESD: A framework oriented to the specification and formal validation of concurrent and distributed systems based on a graphical language and its process algebra semantics
Cortes Galicia, Jorge
Menchaca Garcia, Felipe R.
Menchaca Mendez, Rolando
REVISTA FACULTAD DE INGENIERIA-UNIVERSIDAD DE ANTIOQUIA, 2012, (63): : 129 - 140
[47] Stepwise specification of lymphocyte developmental lineages
Rothenberg, EV
CURRENT OPINION IN GENETICS & DEVELOPMENT, 2000, 10 (04) : 370 - 379
[48] A logical approach for specification and execution of concurrent real-time systems
Ramirez, R
FOURTH INTERNATIONAL WORKSHOP ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 1997, : 182 - 185
[49] <bold>RealSpec: An Executable Specification Language for Prototyping Concurrent Systems</bold>
Khwaja, Amir A.
Urban, Joseph E.
RSP 2008: 19TH IEEE/IFIP INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS, 2008, : 3 - +
[50] EXECUTABLE SPECIFICATION AND ANALYSIS FOR THE DESIGN OF CONCURRENT OBJECT-ORIENTED SYSTEMS
DENG, Y
CHANG, SK
LIN, XL
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1994, 4 (04) : 427 - 450

← 1 2 3 4 5 →