Login / Signup

A Model Checking Approach for Multi-core Time Partitions Design.

Georgiana Macariu
Published in: CIT (2010)
Keyphrases