kompaktne vaade 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
märksõna
reaalajasüsteemid
tarkvaratehnika
formaalsed meetodid (informaatika)
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.