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
märksõna
reaalajasüsteemid
automaadid (seadmed)
mudelid
ISSN
0302-9743
ISBN
978-3-642-30728-7
märkused
Bibliogr.: 13 ref
keel
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