[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, MohamedAnnée:
2008
Langue:
english
DOI:
10.1109/fdl.2008.4641461
Fichier:
PDF, 379 KB
english, 2008