Stepwise Development of Simulink Models Using the Refinement Calculus Framework

Pontus Boström; Lionel Morel; Marina Walden

doi:10.1007/978-3-540-75292-9_6

Stepwise Development of Simulink Models Using the Refinement Calculus Framework

Pontus Boström
, Lionel Morel
, Marina Walden

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review

11 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	Theoretical Aspects of Computing - ICTAC2007 - 4th International Colloquium Macao, China, September 26-28, 2007 Proceedings
Editors	CB Jones, Z Liu, J Woodcock
Publisher	Springer
Pages	79–93
ISBN (Electronic)	978-3-540-75292-9
ISBN (Print)	978-3-540-75290-5
DOIs	https://doi.org/10.1007/978-3-540-75292-9_6
Publication status	Published - 2007
MoE publication type	A4 Article in a conference publication
Event	conference - Duration: 1 Jan 2010 → …

Conference

Conference	conference
Period	01/01/10 → …

Access to Document

10.1007/978-3-540-75292-9_6

ITCEE: Improving Transient Control and Energy Efficiency by digital hydraulics (TEKES, KITARA-programme)
Walden, M. (Co-Principal Investigator), Sere, K. (Principal Investigator), Boström, P. (Co-Investigator), Morel, L. (Co-Investigator), Satpathy, M. (Co-Investigator), Olszewska, M. (Co-Investigator), Meincke, L. (Co-Investigator) & Malik, Q. (Co-Investigator)
01/08/05 → 31/07/08
Project: Industry/Business Finland

Cite this

@inproceedings{5a434ae872204333a4c9b327b2863916,

title = "Stepwise Development of Simulink Models Using the Refinement Calculus Framework",

author = "Pontus Bostr{\"o}m and Lionel Morel and Marina Walden",

year = "2007",

doi = "10.1007/978-3-540-75292-9\_6",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-540-75290-5",

pages = "79–93",

editor = "CB Jones and Z Liu and J Woodcock",

booktitle = "Theoretical Aspects of Computing - ICTAC2007 - 4th International Colloquium Macao, China, September 26-28, 2007 Proceedings",

publisher = "Springer",

note = "conference ; Conference date: 01-01-2010",

}

Boström, P, Morel, L & Walden, M 2007, Stepwise Development of Simulink Models Using the Refinement Calculus Framework. in CB Jones, Z Liu & J Woodcock (eds), Theoretical Aspects of Computing - ICTAC2007 - 4th International Colloquium Macao, China, September 26-28, 2007 Proceedings. Springer, pp. 79–93, conference, 01/01/10. https://doi.org/10.1007/978-3-540-75292-9_6

Stepwise Development of Simulink Models Using the Refinement Calculus Framework. / Boström, Pontus; Morel, Lionel; Walden, Marina.
Theoretical Aspects of Computing - ICTAC2007 - 4th International Colloquium Macao, China, September 26-28, 2007 Proceedings. ed. / CB Jones; Z Liu; J Woodcock. Springer, 2007. p. 79–93.

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review

TY - GEN

T1 - Stepwise Development of Simulink Models Using the Refinement Calculus Framework

AU - Boström, Pontus

AU - Morel, Lionel

AU - Walden, Marina

PY - 2007

Y1 - 2007

U2 - 10.1007/978-3-540-75292-9_6

DO - 10.1007/978-3-540-75292-9_6

M3 - Publicerad konferensartikel

SN - 978-3-540-75290-5

SP - 79

EP - 93

BT - Theoretical Aspects of Computing - ICTAC2007 - 4th International Colloquium Macao, China, September 26-28, 2007 Proceedings

A2 - Jones, CB

A2 - Liu, Z

A2 - Woodcock, J

PB - Springer

T2 - conference

Y2 - 1 January 2010

ER -

Stepwise Development of Simulink Models Using the Refinement Calculus Framework

Conference

Access to Document

Projects

ITCEE: Improving Transient Control and Energy Efficiency by digital hydraulics (TEKES, KITARA-programme)

Cite this