CorreComm: A Formal Hierarchical Framework for Communication Designs

Maryam Kamali; Luigia Petre; Kaisa Sere; Masoud Daneshtalab

doi:10.1109/NESEA.2011.6144950

CorreComm: A Formal Hierarchical Framework for Communication Designs

Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab

Information Technology

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

2 Sitaatiot (Scopus)

Alkuperäiskieli	Ei tiedossa
Otsikko	2011 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications (NESEA 2011)
Toimittajat	Danny Hughes, Kevin Lee, Ka Lok Man
Kustantaja	IEEE Computer Society
Sivut	1–7
ISBN (painettu)	978-1-4673-0497-6
DOI - pysyväislinkit	https://doi.org/10.1109/NESEA.2011.6144950
Tila	Julkaistu - 2011
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	2011 IEEE 2nd International Conference on Networked Embedded Systems for Enterprise Applications - 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications (NESEA 2011) Kesto: 8 jouluk. 2011 → 9 jouluk. 2011

Konferenssi

Konferenssi	2011 IEEE 2nd International Conference on Networked Embedded Systems for Enterprise Applications
Ajanjakso	08/12/11 → 09/12/11

Pääsy asiakirjaan

10.1109/NESEA.2011.6144950

DIJON: Distributed Jointly Operating Networks (Academy of Finland)
Walden, M., Sere, K., Plosila, J., Sandvik, P., Olszewska, M., Tsiopoulos, L., Dahlvik, M., Wiik, J., Laibinis, L., Neovius, M. & Lumme, K.
01/01/08 → 31/12/11
Projekti: Research Council of Finland/Other Research Councils

Viittausmuodot

Kamali, M., Petre, L., Sere, K., & Daneshtalab, M. (2011). CorreComm: A Formal Hierarchical Framework for Communication Designs. teoksessa D. Hughes, K. Lee, & K. Lok Man (Toimittajat), 2011 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications (NESEA 2011) (Sivut 1–7). IEEE Computer Society. https://doi.org/10.1109/NESEA.2011.6144950

@inproceedings{1a05c558ef7749fdb87a58426afad85f,

title = "CorreComm: A Formal Hierarchical Framework for Communication Designs",

author = "Maryam Kamali and Luigia Petre and Kaisa Sere and Masoud Daneshtalab",

year = "2011",

doi = "10.1109/NESEA.2011.6144950",

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

isbn = "978-1-4673-0497-6",

pages = "1–7",

editor = "Danny Hughes and Kevin Lee and {Lok Man}, Ka",

booktitle = "2011 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications (NESEA 2011)",

publisher = "IEEE Computer Society",

note = "2011 IEEE 2nd International Conference on Networked Embedded Systems for Enterprise Applications ; Conference date: 08-12-2011 Through 09-12-2011",

}

Kamali, M, Petre, L, Sere, K & Daneshtalab, M 2011, CorreComm: A Formal Hierarchical Framework for Communication Designs. julkaisussa D Hughes, K Lee & K Lok Man (toim), 2011 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications (NESEA 2011). IEEE Computer Society, Sivut 1–7, 2011 IEEE 2nd International Conference on Networked Embedded Systems for Enterprise Applications, 08/12/11. https://doi.org/10.1109/NESEA.2011.6144950

CorreComm: A Formal Hierarchical Framework for Communication Designs. / Kamali, Maryam; Petre, Luigia; Sere, Kaisa et al.
2011 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications (NESEA 2011). toim. / Danny Hughes; Kevin Lee; Ka Lok Man. IEEE Computer Society, 2011. s. 1–7.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

TY - GEN

T1 - CorreComm: A Formal Hierarchical Framework for Communication Designs

AU - Kamali, Maryam

AU - Petre, Luigia

AU - Sere, Kaisa

AU - Daneshtalab, Masoud

PY - 2011

Y1 - 2011

U2 - 10.1109/NESEA.2011.6144950

DO - 10.1109/NESEA.2011.6144950

M3 - Konferensbidrag

SN - 978-1-4673-0497-6

SP - 1

EP - 7

BT - 2011 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications (NESEA 2011)

A2 - Hughes, Danny

A2 - Lee, Kevin

A2 - Lok Man, Ka

PB - IEEE Computer Society

T2 - 2011 IEEE 2nd International Conference on Networked Embedded Systems for Enterprise Applications

Y2 - 8 December 2011 through 9 December 2011

ER -

CorreComm: A Formal Hierarchical Framework for Communication Designs

Konferenssi

Pääsy asiakirjaan

Projektit

DIJON: Distributed Jointly Operating Networks (Academy of Finland)

Viittausmuodot