Keyword : CSP


Refinement and Verification of Sequence Diagrams Using the Process Algebra CSP
Tomohiro KAIZU Yoshinao ISOBE Masato SUZUKI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2013/02/01
Vol. E96-A  No. 2 ; pp. 495-504
Type of Manuscript:  Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: Concurrent Systems
Keyword: 
sequence diagramprocess algebraCSPprocess synthesis
 Summary | Full Text:PDF(704.1KB)

Model Checking of RADIUS Protocol in Wireless Networks
Il-Gon KIM Jin-Young CHOI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2005/01/01
Vol. E88-B  No. 1 ; pp. 397-398
Type of Manuscript:  LETTER
Category: Internet
Keyword: 
model checkingCasperCSPFDRRADIUS
 Summary | Full Text:PDF(53.6KB)

Packaging Technology Trends and Challenges for System-in-Package
Akihiro DOHYA 
Publication:   IEICE TRANSACTIONS on Electronics
Publication Date: 2001/12/01
Vol. E84-C  No. 12 ; pp. 1756-1762
Type of Manuscript:  INVITED PAPER (Special Issue on Integrated Systems with New Concepts)
Category: 
Keyword: 
packaging technologysystem-in-packageSIPSoCCSP
 Summary | Full Text:PDF(4.1MB)

The Dawn of 3D Packaging as System-in-Package (SIP)
Morihiro KADA 
Publication:   IEICE TRANSACTIONS on Electronics
Publication Date: 2001/12/01
Vol. E84-C  No. 12 ; pp. 1763-1770
Type of Manuscript:  INVITED PAPER (Special Issue on Integrated Systems with New Concepts)
Category: 
Keyword: 
3D packageSIPCSPstacked CSPcellular phone
 Summary | Full Text:PDF(1.2MB)