A verified development of hardware using CSP∥B

Proceedings - Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'06

Volumn , Issue , 2006, Pages 81-

  McEwan, Alistair A ^a   Schneider, Steve ^a  

^a UNIVERSITY OF SURREY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER SOFTWARE; CONCURRENCY CONTROL; FIELD PROGRAMMABLE GATE ARRAYS (FPGA); MODEL CHECKING;

ASSOCIATED TOOLS; CONTROL LOOP INVARIANTS; RECONFIGURABLE HARDWARE; SOFTWARE SYSTEMS;

COMPUTER HARDWARE;

EID: 40949132129     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (0)