TALLINNA TEHNIKAÜLIKOOLI
RAAMATUKOGU DIGIKOGU
tuvastatud kui külaline  
 

Vaadatud 37 kord(a)
Alla laetud 0 kord(a)
juurdepääs failidele puudub
juurdepääsu piirang:
  • lubatud TalTechi arvutivõrgu kasutajale
  • Kaugligipääs VPN ühenduse https://toru.ttu.ee kaudu.

    Pealkiri Real-time specification and modeling with joint actions 
    Autor Kurki-Suonio, Reino; Systa, Kari; Vain, Jyri 
    Märksõnad Logical computation, scheduling, fairness, closed systems, interleaving model, temporal logic of actions 
    Kirjeldus Research Report CS 30/91 
    Ilmumisaasta 1991 
    Identifikaator http://digi.lib.ttu.ee/i/?11864 
    Keel eng 
    Õigused http://rightsstatements.org/vocab/InC-EDU/1.0/ 
    Asutus Eesti Teaduste Akadeemia Küberneetika Instituut
    Institute of Cybernetics of the Estonian Academy of Sciences