Voltar
Livro Acesso aberto Revisado por pares
BIBTEX RIS

Formal Techniques in Real-Time and Fault-Tolerant Systems

1988; Springer Science+Business Media; Linguagem: Inglês

10.1007/3-540-50302-1

ISSN

1611-3349

Autores

D Barstow, W Brauer, R Brinch, Hansen Gries, D Luckham, C Moler, A Pnueli, G Seegm er, J Stoer, Niklaus Wirth, Editor Mathai,

Tópico(s)

Embedded Systems Design Techniques

Referência(s)