DMCA

A Type-Theoretic Framework for Efficient and Safe Colocation of Periodic Real-time Systems

by Vatche Ishakian
Citations:7 - 6 self