[IEEE 2015 Brazilian Symposium on Computing Systems Engineering (SBESC) - Foz do Iguacu, Brazil (2015.11.3-2015.11.6)] 2015 Brazilian Symposium on Computing Systems Engineering (SBESC) - Applying Multi-core Model Checking to Hardware-Software Partitioning in Embedded Systems
Trindade, Alessandro, Ismail, Hussama, Cordeiro, LucasYear:
2015
Language:
english
DOI:
10.1109/sbesc.2015.26
File:
PDF, 255 KB
english, 2015