Formal Analysis of Proactive, Distributed Routing

Mojgan Kamali, Peter Höfner, Mojgan Kamali, Luigia Petre

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

13 Sitaatiot (Scopus)
AlkuperäiskieliEi tiedossa
OtsikkoFormal Methods and Software Engineering, 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
ToimittajatCalinescu Radu, Rumpe Bernhard
KustantajaSpringer
Sivut175–189
ISBN (elektroninen)978-3-319-22969-0
ISBN (painettu)978-3-319-22968-3
DOI - pysyväislinkit
TilaJulkaistu - 2015
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Conference on Software Engineering and Formal Methods (SEFM) - 13th International Conference on Software Engineering and Formal Methods (SEFM)
Kesto: 7 syyskuuta 201511 syyskuuta 2015

Konferenssi

KonferenssiInternational Conference on Software Engineering and Formal Methods (SEFM)
Ajanjakso07/09/1511/09/15

Viittausmuodot