Opens in a new windowOpens an external websiteOpens an external website in a new window
This website utilizes technologies such as cookies to enable essential site functionality, as well as for analytics, personalization, and targeted advertising. Privacy Policy
Using Reo for formal specification and verification of system designs | IEEE Conference Publication | IEEE Xplore