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

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
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

MT-Lab - Modelling of Information Technology
Wasowski, A. (CoI), Godskesen, J. C. (PI), Song, L. (CoI), Traonouez, L.-M. (CoI) & Biondi, F. (CoI)
01/11/2008 → 31/10/2013
Project: Research

Cite this

@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",

pages = "61--78",

booktitle = "Formal Aspects of Component Software",

address = "Germany",

}

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, 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, 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

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. 2012. p. 61-78. (Lecture Notes in Computer Science, Vol. 7253). doi: 10.1007/978-3-642-35743-5_5

A Modal Specification Theory for Components with Data

Access to Document

Projects

MT-Lab - Modelling of Information Technology

Cite this