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

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

27 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	Formal Methods and Software Engineering, 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
Editors	Shengchao Qin, Zongyan Qiu
Publisher	Springer
Pages	291–306
ISBN (Electronic)	978-3-642-24559-6
ISBN (Print)	978-3-642-24558-9
DOIs	https://doi.org/10.1007/978-3-642-24559-6_21
Publication status	Published - 2011
MoE publication type	A4 Article in a conference publication
Event	International Conference on Formal Engineering Methods, ICFEM - 13th International Conference on Formal Engineering Methods, ICFEM 2011 Duration: 26 Oct 2011 → 28 Oct 2011

Conference

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

Access to Document

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

DiHy: Digital Microhydraulics (TEKES programme EFFIMA)
Walden, M. (Principal Investigator), Sere, K. (Principal Investigator), Boström, P. (Co-Investigator), Alexeev, P. S. (Co-Investigator), Ostroumov, S. (Co-Investigator) & Wiik, J. (Co-Investigator)
01/06/09 → 30/09/14
Project: Industry/Business Finland

Cite this

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

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › 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 - Konferensbidrag

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

Conference

Access to Document

Projects

DiHy: Digital Microhydraulics (TEKES programme EFFIMA)

Cite this