Integrating refinement-based methods for developing timed systems
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
ilmumisaasta
leheküljed
p. 171-185
ISBN
978-1-4987-0158-7
TTÜ struktuuriüksus
keel
inglise
Vain, J., Tsiopoulos, L., Boström, P. Integrating refinement-based methods for developing timed systems // From action systems to distributed systems : the refinement approach. Boca Raton : CRC Press, 2016. p. 171-185.