Integrating refinement-based methods for developing timed systems
statement of authorship
Jüri Vain, Leonidas Tsiopoulos, Pontus Boström
source
From action systems to distributed systems : the refinement approach
location of publication
Boca Raton
publisher
year of publication
pages
p. 171-185
subject term
ISBN
978-1-4987-0158-7
TalTech department
language
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.