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

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

27 Citeringar (Scopus)

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Formal Methods and Software Engineering, 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
Redaktörer	Shengchao Qin, Zongyan Qiu
Förlag	Springer
Sidor	291–306
ISBN (elektroniskt)	978-3-642-24559-6
ISBN (tryckt)	978-3-642-24558-9
DOI	https://doi.org/10.1007/978-3-642-24559-6_21
Status	Publicerad - 2011
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	International Conference on Formal Engineering Methods, ICFEM - 13th International Conference on Formal Engineering Methods, ICFEM 2011 Varaktighet: 26 okt. 2011 → 28 okt. 2011

Konferens

Konferens	International Conference on Formal Engineering Methods, ICFEM
Period	26/10/11 → 28/10/11

Åtkomst av dokument

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

DiHy: Digital Microhydraulics (TEKES programme EFFIMA)
Walden, M. (Ansvarig forskare), Sere, K. (Ansvarig forskare), Boström, P. (CoI), Alexeev, P. S. (CoI), Ostroumov, S. (CoI) & Wiik, J. (CoI)
01/06/09 → 30/09/14
Projekt: Företag/Business Finland

Citera det här

@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. i S Qin & Z Qiu (red), Formal Methods and Software Engineering, 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings. Springer, s. 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. red. / Shengchao Qin; Zongyan Qiu. Springer, 2011. s. 291–306.

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

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

Konferens

Åtkomst av dokument

Projekt

DiHy: Digital Microhydraulics (TEKES programme EFFIMA)

Citera det här