Refinement-based development of timed systems

Berthing, Jesper; Boström, Pontus; Sere, Kaisa; Tsiopoulos, Leonidas; Vain, Jüri (2012). Refinement-based development of timed systems. Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012, Proceedings. Ed. Derrick, J.; Gnesi, S.; Latella, D.; Treharne, H. Berlin: Springer, 69−83. (Lecture Notes in Computer Science; 7321).10.1007/978-3-642-30729-4_6.
publitseeritud konverentsiettekanne
Berthing, Jesper; Boström, Pontus; Sere, Kaisa; Tsiopoulos, Leonidas; Vain, Jüri
  • Inglise
Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012, Proceedings
Derrick, J.; Gnesi, S.; Latella, D.; Treharne, H.
Berlin
Springer
0302-9743
978-3-642-30728-7
Lecture Notes in Computer Science
7321
2012
6983
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Viited terviktekstile

dx.doi.org/10.1007/978-3-642-30729-4_6

Lisainfo

Conference Proceedings Citation Index- Science (CPCI-S); Scopus