[IEEE Design Languages (FDL) - Stuttgart...

  • Main
  • [IEEE Design Languages (FDL) -...

[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, Mohamed
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2008
Language:
english
DOI:
10.1109/fdl.2008.4641461
File:
PDF, 379 KB
english, 2008
Conversion to is in progress
Conversion to is failed