|
|
Keyword : FDT
|
On Optimization in Composition of Concurrent Formal Specifications
Bhed Bahadur BISTA
|
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/11/01
Vol. E87-A
No. 11
pp. 2905-2908
Type of Manuscript: Special Section LETTER (Special Section on Concurrent Systems and Hybrid Systems)
Category:
Keyword:
formal specification,
FDT,
LOTOS,
combining processes,
intermediate processes,
|
| |
Summary |
Full Text:PDF
(168.3KB)
|
|
|
|
|
|
|
|
|
|
|
|
Reuse Based Specification Support Method Using Mathematical Similarity
Ushio YAMAMOTO
Eun-Seok LEE
Norio SHIRATORI
|
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/11/20
Vol. E79-A
No. 11
pp. 1752-1759
Type of Manuscript: Special Section PAPER (Special Section on Description Models for Concurrent Systems and Their Applications)
Category:
Keyword:
FDT,
LTS,
similarity,
specification reuse,
|
| |
Summary |
Full Text:PDF
(712.1KB)
|
|
|
|
|
|
|
|
|
An Effective Application of Net-Theory to Communication Protocol Development
Norio SHIRATORI
Eun-Seok LEE
Ken TERUYA
|
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/10/20
Vol. E77-A
No. 10
pp. 1588-1593
Type of Manuscript: INVITED PAPER (Special Section on Net Theory and Its Applications)
Category:
Keyword:
Net-theory,
protocol life cycle,
FDT,
LTS,
protocol,
FSM,
CCS,
|
| |
Summary |
Full Text:PDF
(593.1KB)
|
|
|
|
|
|
|
