Formal Specification of Delta MINs for MPSOC in the ACL2 Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Maissa Elleuch, Yassine Aydi, Mohamed Abid. Formal Specification of Delta MINs for MPSOC in the ACL2 Logic. In Forum on specification and Design Languages, FDL 2008, September 23-25, 2008, Stuttgart, Germany, Proceedings. pages 253-254, IEEE, 2008. [doi]

This author has not been identified. Look up 'Maissa Elleuch' in GoogleThis author has not been identified. Look up 'Yassine Aydi' in GoogleThis author has not been identified. Look up 'Mohamed Abid' in Google

runs on WebDSL