|
| Keyword : formal specification
| |
| |
| |
| |
| |
| |
| |
| |
|
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 | |
| |
| |
| |
| |
| |
|
On the Specification for VLSI Systolic Arrays
Fuyau LIN | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/04/25
Vol. E76-A
No. 4 ;
pp. 496-506
Type of Manuscript:
Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category:
Keyword:
formal specification, Z, systolic architectures, verification, | | | Summary | Full Text:PDF | |
| |
|
|