Login / Signup

Formal verification of safety of polymorphic heterogeneous multi-core architectures.

Miroslav N. VelevPing Gao
Published in: ISQED (2014)
Keyphrases