Contract-Based Verification of Simulink Models

Pontus Boström

doi:10.1007/978-3-642-24559-6_21

Contract-Based Verification of Simulink Models

Pontus Boström

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

27 Sitaatiot (Scopus)

Alkuperäiskieli	Ei tiedossa
Otsikko	Formal Methods and Software Engineering, 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
Toimittajat	Shengchao Qin, Zongyan Qiu
Kustantaja	Springer
Sivut	291–306
ISBN (elektroninen)	978-3-642-24559-6
ISBN (painettu)	978-3-642-24558-9
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-642-24559-6_21
Tila	Julkaistu - 2011
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	International Conference on Formal Engineering Methods, ICFEM - 13th International Conference on Formal Engineering Methods, ICFEM 2011 Kesto: 26 lokak. 2011 → 28 lokak. 2011

Konferenssi

Konferenssi	International Conference on Formal Engineering Methods, ICFEM
Ajanjakso	26/10/11 → 28/10/11

Pääsy asiakirjaan

10.1007/978-3-642-24559-6_21

DiHy: Digital Microhydraulics (TEKES programme EFFIMA)
Walden, M. (Vastuullinen tutkija), Sere, K. (Vastuullinen tutkija), Boström, P. (CoI), Alexeev, P. S. (CoI), Ostroumov, S. (CoI) & Wiik, J. (CoI)
01/06/09 → 30/09/14
Projekti: Industry/Business Finland

Viittausmuodot

@inproceedings{981cb39924aa44628baafbc9de633ab7,

title = "Contract-Based Verification of Simulink Models",

author = "Pontus Bostr{\"o}m",

year = "2011",

doi = "10.1007/978-3-642-24559-6\_21",

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

isbn = "978-3-642-24558-9",

pages = "291–306",

editor = "Shengchao Qin and Zongyan Qiu",

booktitle = "Formal Methods and Software Engineering, 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings",

publisher = "Springer",

note = "International Conference on Formal Engineering Methods, ICFEM ; Conference date: 26-10-2011 Through 28-10-2011",

}

Boström, P 2011, Contract-Based Verification of Simulink Models. julkaisussa S Qin & Z Qiu (toim), Formal Methods and Software Engineering, 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings. Springer, Sivut 291–306, International Conference on Formal Engineering Methods, ICFEM, 26/10/11. https://doi.org/10.1007/978-3-642-24559-6_21

Contract-Based Verification of Simulink Models. / Boström, Pontus.
Formal Methods and Software Engineering, 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings. toim. / Shengchao Qin; Zongyan Qiu. Springer, 2011. s. 291–306.

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

TY - GEN

T1 - Contract-Based Verification of Simulink Models

AU - Boström, Pontus

PY - 2011

Y1 - 2011

U2 - 10.1007/978-3-642-24559-6_21

DO - 10.1007/978-3-642-24559-6_21

M3 - Publicerad konferensartikel

SN - 978-3-642-24558-9

SP - 291

EP - 306

BT - Formal Methods and Software Engineering, 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

A2 - Qin, Shengchao

A2 - Qiu, Zongyan

PB - Springer

T2 - International Conference on Formal Engineering Methods, ICFEM

Y2 - 26 October 2011 through 28 October 2011

ER -

Contract-Based Verification of Simulink Models

Konferenssi

Pääsy asiakirjaan

Projektit

DiHy: Digital Microhydraulics (TEKES programme EFFIMA)

Viittausmuodot