Formal Analysis of Proactive, Distributed Routing

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

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

13 Citeringar (Scopus)
OriginalspråkOdefinierat/okänt
Titel på gästpublikationFormal Methods and Software Engineering, 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
RedaktörerCalinescu Radu, Rumpe Bernhard
FörlagSpringer
Sidor175–189
ISBN (elektroniskt)978-3-319-22969-0
ISBN (tryckt)978-3-319-22968-3
DOI
StatusPublicerad - 2015
MoE-publikationstypA4 Artikel i en konferenspublikation
EvenemangInternational Conference on Software Engineering and Formal Methods (SEFM) - 13th International Conference on Software Engineering and Formal Methods (SEFM)
Varaktighet: 7 sep 201511 sep 2015

Konferens

KonferensInternational Conference on Software Engineering and Formal Methods (SEFM)
Period07/09/1511/09/15

Citera det här