Kaldma, T., Motus, L., Paluoja, R., Tekko, J., Tommingas, T.

täiskirje prindi

Specification and formal analysis of real-time software in Conrad

autor

Kaldma, Tarmo

Mõtus, Leo

Paluoja, Rein

Tekko, Jaanus

Tommingas, Toomas

vastutusandmed

T. Kaldma, L. Motus, R. Paluoja, J. Tekko, T. Tommingas

allikas

Postprints of 19th IFAC/IFIP Workshop on Real-time Programming, 22-24 June, Isle of Reichenau, Lake Constance, Germany, 1994

ilmumiskoht

[S.l.]

ilmumisaasta

1994

leheküljed

p. 67-72

keel

inglise

Kaldma, T., Motus, L., Paluoja, R., Tekko, J., Tommingas, T. Specification and formal analysis of real-time software in Conrad // Postprints of 19th IFAC/IFIP Workshop on Real-time Programming, 22-24 June, Isle of Reichenau, Lake Constance, Germany, 1994. [S.l.], 1994. p. 67-72.