Formal specification of concurrent time-constraint programs
author
Mõtus, Leo
statement of authorship
Leo Mõtus
source
Eesti teadlaste kongress, 11.-15. augustini 1996. a. Tallinnas : ettekannete kokkuvõtted
location of publication
Tallinn
publisher
Teaduste Akadeemia Kirjastus
year of publication
1996
pages
lk. 267
url
https://www.ester.ee/record=b1052731*est
subject term
paralleelprogrammeerimine
reaalajasüsteemid
arvutiprogrammid
spetsifikatsioonid
ISBN
9985-50-140-3
notes
Bibl. 4 nim
TalTech department
automaatika ja süsteemitehnika instituut
language
inglise