Titre:
  • A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems
Auteur:Maiza, Claire; Rihani, Hamza; Rivas Concepcion, Juan Maria; Goossens, Joël; Altmeyer, Sebastian; Davis, Robert I
Informations sur la publication:ACM computing surveys, 52, 3, 56
Statut de publication:Publié, 2019-07-18
Sujet CREF:Informatique générale
Langue:Anglais
Identificateurs:urn:issn:0360-0300
info:doi/10.1145/3323212