A Modal Specification Theory for Components with Data

Sebastian S. Bauer; Kim Guldstrand Larsen; Axel Legay; Ulrik 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 Nyman, Andrzej Wasowski

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

4 Citations (Scopus)

518 Downloads (Pure)

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 Publishing Company
Publication date	2012
ISBN (Print)	978-3-642-35742-8
ISBN (Electronic)	978-3-642-35743-5
DOIs	https://doi.org/10.1007/978-3-642-35743-5_5
Publication status	Published - 2012
Event	8th International Workshop, FACS 2011 - Oslo, Norway Duration: 14 Nov 2011 → 16 Nov 2011 Conference number: 8th

Conference

Conference	8th International Workshop, FACS 2011
Number	8th
Country/Territory	Norway
City	Oslo
Period	14/11/2011 → 16/11/2011

Series	Lecture Notes in Computer Science
ISSN	0302-9743

Access to Document

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

FACS2011.pdfAccepted author manuscript, 417 KB

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inproceedings{bdbfc74c7dd441feb00739445686371a,

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

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

year = "2012",

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

language = "English",

isbn = "978-3-642-35742-8",

volume = "7253",

series = "Lecture Notes in Computer Science",

publisher = "Springer Publishing Company",

booktitle = "Formal Aspects of Component Software",

address = "United States",

note = "8th International Workshop, FACS 2011 ; Conference date: 14-11-2011 Through 16-11-2011",

}

Bauer, SS, Larsen, KG, Legay, A, Nyman, U & 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 Publishing Company, Lecture Notes in Computer Science, 8th International Workshop, FACS 2011, Oslo, Norway, 14/11/2011. https://doi.org/10.1007/978-3-642-35743-5_5

A Modal Specification Theory for Components with Data. / Bauer, Sebastian S.; 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 Publishing Company, 2012. (Lecture Notes in Computer Science).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - A Modal Specification Theory for Components with Data

AU - Bauer, Sebastian S.

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Nyman, Ulrik

AU - Wasowski, Andrzej

N1 - Conference code: 8th

PY - 2012

Y1 - 2012

UR - http://www.scopus.com/inward/record.url?scp=84871572980&partnerID=8YFLogxK

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

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

M3 - Article in proceeding

SN - 978-3-642-35742-8

VL - 7253

T3 - Lecture Notes in Computer Science

BT - Formal Aspects of Component Software

PB - Springer Publishing Company

T2 - 8th International Workshop, FACS 2011

Y2 - 14 November 2011 through 16 November 2011

ER -

A Modal Specification Theory for Components with Data

Conference

Access to Document

AUB Link

Other files and links

Cite this