Voltar
Artigo Revisado por pares
BIBTEX RIS

Design for Timing Predictability

2004; Springer Science+Business Media; Volume: 28; Issue: 2/3 Linguagem: Inglês

10.1023/b

ISSN

1573-1383

Autores

Lothar Thiele, Reinhard Wilhelm,

Tópico(s)

Formal Methods in Verification

Referência(s)
Ver no editor
Real-Time Systems
Altmetric
PlumX