By the same authors

From the same journal

From the same journal

Refinement-based verification of implementations of Stateflow charts

Research output: Contribution to journalArticle

Standard

Refinement-based verification of implementations of Stateflow charts. / Miyazawa, Alvaro Heiji; Cavalcanti, Ana Lucia Caneca.

In: Formal Aspects of Computing, Vol. 26, No. 2, 2014, p. 367-405.

Research output: Contribution to journalArticle

Harvard

Miyazawa, AH & Cavalcanti, ALC 2014, 'Refinement-based verification of implementations of Stateflow charts', Formal Aspects of Computing, vol. 26, no. 2, pp. 367-405. https://doi.org/10.1007/s00165-013-0291-6

APA

Miyazawa, A. H., & Cavalcanti, A. L. C. (2014). Refinement-based verification of implementations of Stateflow charts. Formal Aspects of Computing, 26(2), 367-405. https://doi.org/10.1007/s00165-013-0291-6

Vancouver

Miyazawa AH, Cavalcanti ALC. Refinement-based verification of implementations of Stateflow charts. Formal Aspects of Computing. 2014;26(2):367-405. https://doi.org/10.1007/s00165-013-0291-6

Author

Miyazawa, Alvaro Heiji ; Cavalcanti, Ana Lucia Caneca. / Refinement-based verification of implementations of Stateflow charts. In: Formal Aspects of Computing. 2014 ; Vol. 26, No. 2. pp. 367-405.

Bibtex - Download

@article{562ce85c81a540dc8a3008530b4ed765,
title = "Refinement-based verification of implementations of Stateflow charts",
author = "Miyazawa, {Alvaro Heiji} and Cavalcanti, {Ana Lucia Caneca}",
year = "2014",
doi = "10.1007/s00165-013-0291-6",
language = "English",
volume = "26",
pages = "367--405",
journal = "Formal Aspects of Computing",
issn = "0934-5043",
publisher = "Springer London",
number = "2",

}

RIS (suitable for import to EndNote) - Download

TY - JOUR

T1 - Refinement-based verification of implementations of Stateflow charts

AU - Miyazawa, Alvaro Heiji

AU - Cavalcanti, Ana Lucia Caneca

PY - 2014

Y1 - 2014

U2 - 10.1007/s00165-013-0291-6

DO - 10.1007/s00165-013-0291-6

M3 - Article

VL - 26

SP - 367

EP - 405

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

SN - 0934-5043

IS - 2

ER -