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.