![](/img/cover-not-exists.png)
[IEEE Design Languages (FDL) - Stuttgart (2008.09.23-2008.09.25)] 2008 Forum on Specification, Verification and Design Languages - Formal specification of delta MINs for MPSOC in the ACL2 logic
Elleuch, Maissa, Aydi, Yassine, Abid, MohamedYear:
2008
Language:
english
DOI:
10.1109/fdl.2008.4641461
File:
PDF, 379 KB
english, 2008