Refinement-based development of timed systems
author
statement of authorship
Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, and Jüri Vain
source
Integrated Formal Methods : 9th International Conference IFM 2012 : Pisa, Italy, June 18-21, 2012 : proceedings
location of publication
Berlin
publisher
year of publication
pages
p. 69-83 : ill
series
Lecture notes in computer science, ISSN 0302-9743 ; 7321
conference name, date
9th International Conference IFM 2012, June 18-21, 2012
conference location
Pisa, Italy
ISSN
0302-9743
ISBN
978-3-642-30728-7
notes
Bibliogr.: 13 ref
language
inglise
Berthing, J., Boström, P., Sere, K., Tsiopoulos, L., Vain, J. Refinement-based development of timed systems // Integrated Formal Methods : 9th International Conference IFM 2012 : Pisa, Italy, June 18-21, 2012 : proceedings. Berlin : Springer, 2012. p. 69-83 : ill. (Lecture notes in computer science, ISSN 0302-9743 ; 7321). https://link.springer.com/chapter/10.1007/978-3-642-30729-4_6