Refinement-based development of timed systems
author
Berthing, Jesper
Boström, Pontus
Sere, Kaisa
Tsiopoulos, Leonidas
Vain, Jüri
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
Springer
year of publication
2012
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
url
https://link.springer.com/chapter/10.1007/978-3-642-30729-4_6
subject term
reaalajasüsteemid
automaadid (seadmed)
mudelid
ISSN
0302-9743
ISBN
978-3-642-30728-7
notes
Bibliogr.: 13 ref
language
inglise