Verification and Scheduling Techniques for Real-Time Embedded Systems

Luis Alejandro Cortés. Verification and Scheduling Techniques for Real-Time Embedded Systems. PhD thesis, Linköping University, Sweden, 2005. [doi]

Abstract

Abstract is missing.