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

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

2 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	2011 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications (NESEA 2011)
Editors	Danny Hughes, Kevin Lee, Ka Lok Man
Publisher	IEEE Computer Society
Pages	1–7
ISBN (Print)	978-1-4673-0497-6
DOIs	https://doi.org/10.1109/NESEA.2011.6144950
Publication status	Published - 2011
MoE publication type	A4 Article in a conference publication
Event	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) Duration: 8 Dec 2011 → 9 Dec 2011

Conference

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

Access to Document

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
Project: Academy of Finland/Other Research Councils

Cite this

@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. in D Hughes, K Lee & K Lok Man (eds), 2011 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications (NESEA 2011). IEEE Computer Society, pp. 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). ed. / Danny Hughes; Kevin Lee; Ka Lok Man. IEEE Computer Society, 2011. p. 1–7.

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

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

Conference

Access to Document

Projects

DIJON: Distributed Jointly Operating Networks (Academy of Finland)

Cite this