|
| 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 | |
| |
| |
| |
|
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/25
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 | |
| |
| |
|
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/25
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 | |
| |
|
|