• Citer

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

par Maiza, Claire;Rihani, Hamza;Rivas Concepcion, Juan Maria ;Goossens, Joël ;Altmeyer, Sebastian;Davis, Robert I
Référence ACM computing surveys, 52, 3, 56
Publication Publié, 2019-07-18

Article révisé par les pairs

• Détails

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