Formal Analysis of Proactive, Distributed Routing

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

doi:10.1007/978-3-319-22969-0_13

Formal Analysis of Proactive, Distributed Routing

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

Informationsteknologi

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

14 Citeringar (Scopus)

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Formal Methods and Software Engineering, 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Redaktörer	Calinescu Radu, Rumpe Bernhard
Förlag	Springer
Sidor	175–189
ISBN (elektroniskt)	978-3-319-22969-0
ISBN (tryckt)	978-3-319-22968-3
DOI	https://doi.org/10.1007/978-3-319-22969-0_13
Status	Publicerad - 2015
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	International Conference on Software Engineering and Formal Methods (SEFM) - 13th International Conference on Software Engineering and Formal Methods (SEFM) Varaktighet: 7 sep. 2015 → 11 sep. 2015

Konferens

Konferens	International Conference on Software Engineering and Formal Methods (SEFM)
Period	07/09/15 → 11/09/15

Åtkomst av dokument

10.1007/978-3-319-22969-0_13

Citera det här

@inproceedings{a21f0bf6456e4ba1a21acaa73d5397b8,

title = "Formal Analysis of Proactive, Distributed Routing",

author = "Mojgan Kamali and Peter H{\"o}fner and Mojgan Kamali and Luigia Petre",

year = "2015",

doi = "10.1007/978-3-319-22969-0_13",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-319-22968-3",

pages = "175–189",

editor = "Calinescu Radu and Rumpe Bernhard",

booktitle = "Formal Methods and Software Engineering, 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings",

publisher = "Springer",

note = "International Conference on Software Engineering and Formal Methods (SEFM) ; Conference date: 07-09-2015 Through 11-09-2015",

}

Kamali, M, Höfner, P, Kamali, M & Petre, L 2015, Formal Analysis of Proactive, Distributed Routing. i C Radu & R Bernhard (red), Formal Methods and Software Engineering, 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Springer, s. 175–189, International Conference on Software Engineering and Formal Methods (SEFM), 07/09/15. https://doi.org/10.1007/978-3-319-22969-0_13

Formal Analysis of Proactive, Distributed Routing. / Kamali, Mojgan; Höfner, Peter; Kamali, Mojgan et al.
Formal Methods and Software Engineering, 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. red. / Calinescu Radu; Rumpe Bernhard. Springer, 2015. s. 175–189.

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

TY - GEN

T1 - Formal Analysis of Proactive, Distributed Routing

AU - Kamali, Mojgan

AU - Höfner, Peter

AU - Kamali, Mojgan

AU - Petre, Luigia

PY - 2015

Y1 - 2015

U2 - 10.1007/978-3-319-22969-0_13

DO - 10.1007/978-3-319-22969-0_13

M3 - Konferensbidrag

SN - 978-3-319-22968-3

SP - 175

EP - 189

BT - Formal Methods and Software Engineering, 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

A2 - Radu, Calinescu

A2 - Bernhard, Rumpe

PB - Springer

T2 - International Conference on Software Engineering and Formal Methods (SEFM)

Y2 - 7 September 2015 through 11 September 2015

ER -