Statechart methodology for the design, validation, and synthesis of large scale asynchronous systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rakefet Kol, Ran Ginosar, Goel Samuel. Statechart methodology for the design, validation, and synthesis of large scale asynchronous systems. In 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 96), March 18-21, 1996, Aizu-Wakamatsu, Fukushima, JAPAN. pages 164-174, IEEE Computer Society, 1996. [doi]

This author has not been identified. Look up 'Rakefet Kol' in GoogleThis author has not been identified. Look up 'Ran Ginosar' in GoogleThis author has not been identified. Look up 'Goel Samuel' in Google

runs on WebDSL