IEEE - Institute of Electrical and Electronics Engineers, Inc. - Simulation and Verification of Asynchronous Systems by means of a Synchronous Model

Sixth International Conference on Application of Concurrency to System Design

Author(s): N. Halbwachs ; L. Mandel
Sponsor(s): ICT Turku Oy
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2006
Conference Location: Turku, Finland
Conference Date: 28 June 2006
Page(s): 3 - 14
ISBN (Paper): 0-7695-2556-3
ISSN (Paper): 1550-4808
DOI: 10.1109/ACSD.2006.24
Regular:

Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in a partially... View More

Advertisement