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