Applying multi-core model checking to hardware-software partitioning in embedded systems

Alessandro Trindade, Hussama Ismail, Lucas Cordeiro

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Applying multi-core model checking to hardware-software partitioning in embedded systems'. Together they form a unique fingerprint.

Computer Science