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

Ludwig Maximilian University of Munich
Aalborg Universitet
Inria

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

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
Projekter: Projekt › Forskning

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

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. i Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. bind 7253, Springer, 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, 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

ER -

A Modal Specification Theory for Components with Data

Adgang til dokumentet

Projekter

MT-Lab - Modelling of Information Technology

Citationsformater