| Keyword : LTS
| |
|
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(710.2KB) | |
| |
|
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(592.9KB) | |
|
|