|
| 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 diagram, process algebra, CSP, process synthesis, | | | Summary | Full Text:PDF | |
| |
|
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 package, SIP, CSP, stacked CSP, cellular phone, | | | Summary | Full Text:PDF | |
|
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 technology, system-in-package, SIP, SoC, CSP, | | | Summary | Full Text:PDF | |
|
|