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

täiskirje prindi

Refinement-based development of timed systems

autor

Berthing, Jesper

Boström, Pontus

Sere, Kaisa

Tsiopoulos, Leonidas

Vain, Jüri

vastutusandmed

Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, and Jüri Vain

allikas

Integrated Formal Methods : 9th International Conference IFM 2012 : Pisa, Italy, June 18-21, 2012 : proceedings

ilmumiskoht

Berlin

kirjastus/väljaandja

Springer

ilmumisaasta

2012

leheküljed

p. 69-83 : ill

seeria-sari

Lecture notes in computer science, ISSN 0302-9743 ; 7321

konverentsi nimetus, aeg

9th International Conference IFM 2012, June 18-21, 2012

konverentsi toimumispaik

Pisa, Italy

leitav

https://link.springer.com/chapter/10.1007/978-3-642-30729-4_6

ISSN

0302-9743

ISBN

978-3-642-30728-7

märkused

Bibliogr.: 13 ref

keel

inglise

Märksõnad ja võtmesõnad

märksõna

reaalajasüsteemid

automaadid (seadmed)

mudelid

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