Formal Model-Driven Development of Communicating Systems

Linas Laibinis; Elena Troubitsyna; Sari Leppänen; Johan Lilius; Qaisar Malik

doi:10.1007/11576280_14

Formal Model-Driven Development of Communicating Systems

Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik

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

5 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	Formal Methods and Software Engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005
Editors	K Lau, R Banach
Publisher	Springer
Pages	188–203
ISBN (Electronic)	978-3-540-32250-4
ISBN (Print)	978-3-540-29797-0
DOIs	https://doi.org/10.1007/11576280_14
Publication status	Published - 2005
MoE publication type	A4 Article in a conference publication
Event	conference; 2005-11-01; 2005-11-04 - 7th International Conference on Formal Engineering Methods - ICFEM 2005 Duration: 1 Nov 2005 → 4 Nov 2005

Conference

Conference	conference; 2005-11-01; 2005-11-04
Period	01/11/05 → 04/11/05

Access to Document

10.1007/11576280_14

Cite this

@inproceedings{b5dca3ae80d74af0aae14a96d77d9dcd,

title = "Formal Model-Driven Development of Communicating Systems",

author = "Linas Laibinis and Elena Troubitsyna and Sari Lepp{\"a}nen and Johan Lilius and Qaisar Malik",

year = "2005",

doi = "10.1007/11576280_14",

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

isbn = "978-3-540-29797-0",

pages = "188–203",

editor = "K Lau and R Banach",

booktitle = "Formal Methods and Software Engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005",

publisher = "Springer",

note = "conference; 2005-11-01; 2005-11-04 ; Conference date: 01-11-2005 Through 04-11-2005",

}

Laibinis, L, Troubitsyna, E, Leppänen, S, Lilius, J & Malik, Q 2005, Formal Model-Driven Development of Communicating Systems. in K Lau & R Banach (eds), Formal Methods and Software Engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005. Springer, pp. 188–203, conference; 2005-11-01; 2005-11-04, 01/11/05. https://doi.org/10.1007/11576280_14

Formal Model-Driven Development of Communicating Systems. / Laibinis, Linas; Troubitsyna, Elena; Leppänen, Sari et al.
Formal Methods and Software Engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005. ed. / K Lau; R Banach. Springer, 2005. p. 188–203.

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

TY - GEN

T1 - Formal Model-Driven Development of Communicating Systems

AU - Laibinis, Linas

AU - Troubitsyna, Elena

AU - Leppänen, Sari

AU - Lilius, Johan

AU - Malik, Qaisar

PY - 2005

Y1 - 2005

U2 - 10.1007/11576280_14

DO - 10.1007/11576280_14

M3 - Konferensbidrag

SN - 978-3-540-29797-0

SP - 188

EP - 203

BT - Formal Methods and Software Engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005

A2 - Lau, K

A2 - Banach, R

PB - Springer

T2 - conference; 2005-11-01; 2005-11-04

Y2 - 1 November 2005 through 4 November 2005

ER -