A Formal Modeling for Embedded Hard Real-Time Systems

BARRETO, R. S.; MACIEL, P. R. M. ; TAVARES, E. A. G. ; CUSTODIO, M. M. ; FREITAS, R. D. ; OLIVEIRA JUNIOR, M. N. . A Formal Modeling for Embedded Hard Real-Time Systems. In: 8th Brazilian Workshop on Real-Time Systems, 2006, Curitiba. WTR'2006, 2006.

2006