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

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

5 Citeringar (Scopus)

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Formal Methods and Software Engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005
Redaktörer	K Lau, R Banach
Förlag	Springer
Sidor	188–203
ISBN (elektroniskt)	978-3-540-32250-4
ISBN (tryckt)	978-3-540-29797-0
DOI	https://doi.org/10.1007/11576280_14
Status	Publicerad - 2005
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	conference; 2005-11-01; 2005-11-04 - 7th International Conference on Formal Engineering Methods - ICFEM 2005 Varaktighet: 1 nov. 2005 → 4 nov. 2005

Konferens

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

Åtkomst av dokument

10.1007/11576280_14

Citera det här

@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. i K Lau & R Banach (red), Formal Methods and Software Engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005. Springer, s. 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. red. / K Lau; R Banach. Springer, 2005. s. 188–203.

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › 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 -