A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems.
| Autor: | MAIZA, CLAIRE1 claire.maiza@univ-grenoble-alpes.fr, RIHANI, HAMZA1 joel.goossens@ulb.ac.be, RIVAS, JUAN M.2 joel.goossens@ulb.ac.be, GOOSSENS, JOËL2, ALTMEYER, SEBASTIAN3 altmeyer@uva.nl, DAVIS, ROBERT I.4 rob.davis@cs.york.ac.uk |
|---|---|
| Zdroj: | ACM Computing Surveys. May2020, Vol. 52 Issue 3, p1-38. 38p. 1 Graph. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|