prindi

Formal specification of concurrent time-constraint programs

autor
Mõtus, Leo
vastutusandmed
Leo Mõtus
allikas
Eesti teadlaste kongress, 11.-15. augustini 1996. a. Tallinnas : ettekannete kokkuvõtted
ilmumiskoht
Tallinn
kirjastus/väljaandja
Teaduste Akadeemia Kirjastus
ilmumisaasta
1996
leheküljed
lk. 267
leitav
https://www.ester.ee/record=b1052731*est
märksõna
paralleelprogrammeerimine
reaalajasüsteemid
arvutiprogrammid
spetsifikatsioonid
ISBN
9985-50-140-3
märkused
Bibl. 4 nim
TTÜ struktuuriüksus
automaatika ja süsteemitehnika instituut
keel
inglise
Mõtus, L. Formal specification of concurrent time-constraint programs // Eesti teadlaste kongress, 11.-15. augustini 1996. a. Tallinnas : ettekannete kokkuvõtted. Tallinn : Teaduste Akadeemia Kirjastus, 1996. lk. 267. https://www.ester.ee/record=b1052731*est