Article Comments

Contributions from readers on our articles are very welcome. This form will let us retrieve the current data in the database and allows us to consider your comments.

Multi-core model checking and maximum satisfiability applied to hardware-software partitioning
Alessandro Bezerra Trindade; Renato De Faria Degelo; Edilson Galvão Dos Santos Junior; Hussama Ibrahim Ismail; Helder Cruz Da Silva; Lucas Carvalho Cordeiro
International Journal of Embedded Systems (IJES), 2017 Vol.9 No.6, pp.570 - 582
20 + 17 =

Thank you for your feedback.

Return to top