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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

9 Sitaatiot (Scopus)

Alkuperäiskieli	Ei tiedossa
Otsikko	Theoretical Aspects of Computing - ICTAC2007 - 4th International Colloquium Macao, China, September 26-28, 2007 Proceedings
Toimittajat	CB Jones, Z Liu, J Woodcock
Kustantaja	Springer
Sivut	79–93
ISBN (elektroninen)	978-3-540-75292-9
ISBN (painettu)	978-3-540-75290-5
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-540-75292-9_6
Tila	Julkaistu - 2007
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	conference - Kesto: 1 tammik. 2010 → …

Konferenssi

Konferenssi	conference
Ajanjakso	01/01/10 → …

Pääsy asiakirjaan

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

1 Päättynyt

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

Viittausmuodot

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

@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 = "null ; Conference date: 01-01-2010",

}

Boström, P, Morel, L & Walden, M 2007, Stepwise Development of Simulink Models Using the Refinement Calculus Framework. julkaisussa CB Jones, Z Liu & J Woodcock (toim), Theoretical Aspects of Computing - ICTAC2007 - 4th International Colloquium Macao, China, September 26-28, 2007 Proceedings. Springer, Sivut 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. toim. / CB Jones; Z Liu; J Woodcock. Springer, 2007. s. 79–93.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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

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

Y2 - 1 January 2010

ER -

Stepwise Development of Simulink Models Using the Refinement Calculus Framework

Konferenssi

Pääsy asiakirjaan

Projektit

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

Viittausmuodot