Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications

Fifth International Conference on Application of Concurrency to System Design (ACSD'05) ◽

10.1109/acsd.2005.10 ◽

2006 ◽

Cited By ~ 16

Author(s):

D. Potop-Butucaru ◽

B. Caillaud

Download Full-text