Specification and formal analysis of real-time software in Conrad

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
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.