Integrating refinement-based methods for developing timed systems
author
Vain, Jüri
Tsiopoulos, Leonidas
Boström, Pontus
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
CRC Press
year of publication
2016
pages
p. 171-185
url
http://dx.doi.org/10.1201/b20053-17
subject term
hajussüsteemid
reaalajasüsteemid
tarkvaraarendus
ISBN
978-1-4987-0158-7
TTÜ department
arvutiteaduse instituut
language
inglise