Parallel hardware design in B

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2651, Issue , 2003, Pages 101-102

  Hallerstede, Stefan ^a  

^a KeesDA SA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35248879698     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44880-2_8     Document Type: Article

References (3)

1. Jean-Raymond Abrial. Event Driven Electronic Circuit Construction, 2001. http://www.matisse.qinetiq.com/links.htm.
2. Max Fuchs and Michael Mendler. A Functional Semantics for Delta-Delay VHDL Based on FOCUS. In C. D. Kloos and P. T. Breuer, editors, Formal Semantics for VHDL, pages 9-42. Kluwer Academic Publishers, 1995.
3. Alan V. Oppenheim and Ronald W. Schafer. Discrete-Time Signal Processing. Prentice Hall Signal Processing Series. Prentice Hall, Englewood Cliffs, NJ, USA, 1989.