Integrating refinement-based methods for developing timed systems
autor
Vain, Jüri
Tsiopoulos, Leonidas
Boström, Pontus
vastutusandmed
Jüri Vain, Leonidas Tsiopoulos, Pontus Boström
allikas
From action systems to distributed systems : the refinement approach
ilmumiskoht
Boca Raton
kirjastus/väljaandja
CRC Press
ilmumisaasta
2016
leheküljed
p. 171-185
leitav
http://dx.doi.org/10.1201/b20053-17
märksõna
hajussüsteemid
reaalajasüsteemid
tarkvaraarendus
ISBN
978-1-4987-0158-7
TTÜ struktuuriüksus
arvutiteaduse instituut
keel
inglise