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

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

5 Sitaatiot (Scopus)

Alkuperäiskieli	Ei tiedossa
Otsikko	Formal Methods and Software Engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005
Toimittajat	K Lau, R Banach
Kustantaja	Springer
Sivut	188–203
ISBN (elektroninen)	978-3-540-32250-4
ISBN (painettu)	978-3-540-29797-0
DOI - pysyväislinkit	https://doi.org/10.1007/11576280_14
Tila	Julkaistu - 2005
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	conference; 2005-11-01; 2005-11-04 - 7th International Conference on Formal Engineering Methods - ICFEM 2005 Kesto: 1 marrask. 2005 → 4 marrask. 2005

Konferenssi

Konferenssi	conference; 2005-11-01; 2005-11-04
Ajanjakso	01/11/05 → 04/11/05

Pääsy asiakirjaan

10.1007/11576280_14

Viittausmuodot

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

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

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 -