Formal Transformation of Platform Independent Models into Platform Specific Models

Pontus Boström; Mats Neovius; Ian Oliver; Marina Walden

doi:10.1007/11955757_16

Formal Transformation of Platform Independent Models into Platform Specific Models

Pontus Boström
, Mats Neovius
, Ian Oliver
, Marina Walden

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

1 Citeringar (Scopus)

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
Redaktörer	J Julliand, O Kouchnarenko
Förlag	Springer
Sidor	186–200
ISBN (elektroniskt)	978-3-540-68761-0
ISBN (tryckt)	978-3-540-68760-3
DOI	https://doi.org/10.1007/11955757_16
Status	Publicerad - 2007
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	conference; 2007-01-17; 2007-01-19 - 7th International Conference of B Users Varaktighet: 17 jan. 2007 → 19 jan. 2007

Konferens

Konferens	conference; 2007-01-17; 2007-01-19
Period	17/01/07 → 19/01/07

Åtkomst av dokument

10.1007/11955757_16

Citera det här

Boström, P., Neovius, M., Oliver, I., & Walden, M. (2007). Formal Transformation of Platform Independent Models into Platform Specific Models. I J. Julliand, & O. Kouchnarenko (Red.), B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (s. 186–200). Springer. https://doi.org/10.1007/11955757_16

@inproceedings{929f05a86d814009be1d1852f9aed7c8,

title = "Formal Transformation of Platform Independent Models into Platform Specific Models",

author = "Pontus Bostr{\"o}m and Mats Neovius and Ian Oliver and Marina Walden",

year = "2007",

doi = "10.1007/11955757\_16",

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

isbn = "978-3-540-68760-3",

pages = "186–200",

editor = "J Julliand and O Kouchnarenko",

booktitle = "B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings",

publisher = "Springer",

note = "conference; 2007-01-17; 2007-01-19 ; Conference date: 17-01-2007 Through 19-01-2007",

}

Boström, P, Neovius, M, Oliver, I & Walden, M 2007, Formal Transformation of Platform Independent Models into Platform Specific Models. i J Julliand & O Kouchnarenko (red), B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings. Springer, s. 186–200, conference; 2007-01-17; 2007-01-19, 17/01/07. https://doi.org/10.1007/11955757_16

Formal Transformation of Platform Independent Models into Platform Specific Models. / Boström, Pontus; Neovius, Mats; Oliver, Ian et al.
B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings. red. / J Julliand; O Kouchnarenko. Springer, 2007. s. 186–200.

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

TY - GEN

T1 - Formal Transformation of Platform Independent Models into Platform Specific Models

AU - Boström, Pontus

AU - Neovius, Mats

AU - Oliver, Ian

AU - Walden, Marina

PY - 2007

Y1 - 2007

U2 - 10.1007/11955757_16

DO - 10.1007/11955757_16

M3 - Publicerad konferensartikel

SN - 978-3-540-68760-3

SP - 186

EP - 200

BT - B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

A2 - Julliand, J

A2 - Kouchnarenko, O

PB - Springer

T2 - conference; 2007-01-17; 2007-01-19

Y2 - 17 January 2007 through 19 January 2007

ER -