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

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

1 Citation (Scopus)

Original language	Undefined/Unknown
Title of host publication	B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
Editors	J Julliand, O Kouchnarenko
Publisher	Springer
Pages	186–200
ISBN (Electronic)	978-3-540-68761-0
ISBN (Print)	978-3-540-68760-3
DOIs	https://doi.org/10.1007/11955757_16
Publication status	Published - 2007
MoE publication type	A4 Article in a conference publication
Event	conference; 2007-01-17; 2007-01-19 - 7th International Conference of B Users Duration: 17 Jan 2007 → 19 Jan 2007

Conference

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

Access to Document

10.1007/11955757_16

Cite this

Boström, P., Neovius, M., Oliver, I., & Walden, M. (2007). Formal Transformation of Platform Independent Models into Platform Specific Models. In J. Julliand, & O. Kouchnarenko (Eds.), B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (pp. 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. in J Julliand & O Kouchnarenko (eds), B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings. Springer, pp. 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. ed. / J Julliand; O Kouchnarenko. Springer, 2007. p. 186–200.

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › 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 - Konferensbidrag

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 -