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

full record print

Specification and formal analysis of real-time software in Conrad

author

Kaldma, Tarmo

Mõtus, Leo

Paluoja, Rein

Tekko, Jaanus

Tommingas, Toomas

statement of authorship

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

source

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

location of publication

[S.l.]

year of publication

1994

pages

p. 67-72

language

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.