A Modal Specification Theory for Components with Data

Sebastian S. Bauer; Kim Guldstrand Larsen; Axel Legay; Ulrik Mathias Nyman; Andrzej Wasowski

doi:10.1007/978-3-642-35743-5_5

A Modal Specification Theory for Components with Data

Sebastian S. Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Mathias Nyman, Andrzej Wasowski

Computer Science

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
Volume	7253
Publisher	Springer VS
Publication date	2012
Pages	61-78
DOIs	https://doi.org/10.1007/978-3-642-35743-5_5
Publication status	Published - 2012

Series	Lecture Notes in Computer Science
Volume	7253
ISSN	0302-9743

Access to Document

10.1007/978-3-642-35743-5_5

Cite this

S. Bauer, S., Larsen, K. G., Legay, A., Nyman, U. M., & Wasowski, A. (2012). A Modal Specification Theory for Components with Data. In Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers (Vol. 7253, pp. 61-78). Springer VS. Lecture Notes in Computer Science Vol. 7253 https://doi.org/10.1007/978-3-642-35743-5_5

@inproceedings{4723e656b1b64f69801aa06a624144c1,

title = "A Modal Specification Theory for Components with Data",

author = "{S. Bauer}, Sebastian and Larsen, {Kim Guldstrand} and Axel Legay and Nyman, {Ulrik Mathias} and Andrzej Wasowski",

year = "2012",

doi = "10.1007/978-3-642-35743-5_5",

language = "English",

volume = "7253",

series = "Lecture Notes in Computer Science",

publisher = "Springer VS",

pages = "61--78",

booktitle = "Formal Aspects of Component Software",

}

S. Bauer, S, Larsen, KG, Legay, A, Nyman, UM & Wasowski, A 2012, A Modal Specification Theory for Components with Data. in Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. vol. 7253, Springer VS, Lecture Notes in Computer Science, vol. 7253, pp. 61-78. https://doi.org/10.1007/978-3-642-35743-5_5

A Modal Specification Theory for Components with Data. / S. Bauer, Sebastian; Larsen, Kim Guldstrand; Legay, Axel et al.

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Vol. 7253 Springer VS, 2012. p. 61-78 (Lecture Notes in Computer Science, Vol. 7253).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

TY - GEN

T1 - A Modal Specification Theory for Components with Data

AU - S. Bauer, Sebastian

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Nyman, Ulrik Mathias

AU - Wasowski, Andrzej

PY - 2012

Y1 - 2012

U2 - 10.1007/978-3-642-35743-5_5

DO - 10.1007/978-3-642-35743-5_5

M3 - Article in proceedings

VL - 7253

T3 - Lecture Notes in Computer Science

SP - 61

EP - 78

BT - Formal Aspects of Component Software

PB - Springer VS

ER -

S. Bauer S, Larsen KG, Legay A, Nyman UM, Wasowski A. A Modal Specification Theory for Components with Data. In Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Vol. 7253. Springer VS. 2012. p. 61-78. (Lecture Notes in Computer Science, Vol. 7253). doi: 10.1007/978-3-642-35743-5_5