Refinement-Based Development of Timed Systems

J Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, J Vain

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

8 Sitaatiot (Scopus)
AlkuperäiskieliEi tiedossa
OtsikkoIntegrated Formal Methods
ToimittajatJ Derrick, S Gnesi, D Latella, H Treharne
KustantajaSpringer
Sivut69–83
ISBN (painettu)978-3-642-30728-7
DOI - pysyväislinkit
TilaJulkaistu - 2012
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Conference on Integrated Formal Methods - International Conference on Integrated Formal Methods
Kesto: 1 tammikuuta 2018 → …

Konferenssi

KonferenssiInternational Conference on Integrated Formal Methods
Ajanjakso01/01/18 → …

Viittausmuodot