pealkiri
Scheduling in real-time models
autor
Kurki-Suonio, Reino
Systä, Kari
Vain, Jüri
märksõnad
executable specifications
fairness
formal methods
interleaving model
joint actions
reactive systems
kirjeldus
Research Report Control 31/92
ilmumisaasta
1992
identifikaator
https://digi.lib.ttu.ee/i/?11668
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
  • Juurdepääsu piirang: TalTechi arvutivõrgu kasutajale.
    pdf 1,27 MB