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

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
Vol/bind	7253
Forlag	Springer VS
Publikationsdato	2012
Sider	61-78
DOI	https://doi.org/10.1007/978-3-642-35743-5_5
Status	Udgivet - 2012

Navn	Lecture Notes in Computer Science
Vol/bind	7253
ISSN	0302-9743

Adgang til dokumentet

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

Citationsformater

@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. i Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. bind 7253, Springer VS, Lecture Notes in Computer Science, bind 7253, s. 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. Bind 7253 Springer VS, 2012. s. 61-78 (Lecture Notes in Computer Science, Bind 7253).

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › 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. I Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Bind 7253. Springer VS. 2012. s. 61-78. (Lecture Notes in Computer Science, Bind 7253). doi: 10.1007/978-3-642-35743-5_5