A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems

Claire Maiza, Hamza Rihani, Juan Rivas, joel goossens, Sebastian Altmeyer, Robert Ian Davis

Computer Science

Research output: Contribution to journal › Article › peer-review

1 results

Filter

Finished

Mixed Criticality Cyber- Physical Systems
Burns, A. (Principal investigator), Bate, I. J. (Co-investigator), Davis, R. I. (Co-investigator) & Soares Indrusiak, L. (Co-investigator)
EPSRC
1/10/16 → 30/09/19
Project: Research project (funded) › Research