Berthing, J., Boström, P., Sere, K., Tsiopoulos, L., Vain, J.

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

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