A Language for Modeling Network Availability

Luigia Petre, K Sere, M Waldén

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

7 Citeringar (Scopus)
OriginalspråkOdefinierat/okänt
Titel på värdpublikationFormal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods (ICFEM 2006), Macao, China, November 1-3, 2006, Proceedings
RedaktörerZ Liu, He J
FörlagSpringer Berlin / Heidelberg
Sidor
StatusPublicerad - 2006
MoE-publikationstypA4 Artikel i en konferenspublikation
Evenemangconference -
Varaktighet: 1 jan. 2010 → …

Konferens

Konferensconference
Period01/01/10 → …

Citera det här