Refinement-oriented models of stateflow charts

Alvaro Heiji Miyazawa; Ana Lucia Caneca Cavalcanti

doi:10.1016/j.scico.2011.07.007

Refinement-oriented models of stateflow charts

Alvaro Heiji Miyazawa, Ana Lucia Caneca Cavalcanti

Computer Science

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	1151-1177
Number of pages	27
Journal	Science of Computer Programming
Volume	77
Issue number	10-11
DOIs	https://doi.org/10.1016/j.scico.2011.07.007
Publication status	Published - 1 Sept 2012

Access to Document

10.1016/j.scico.2011.07.007

http://www.sciencedirect.com/science/article/pii/S0167642311001535

Cite this

@article{f18eb02eec6a4b0c8f0a7898d8cb49fd,

title = "Refinement-oriented models of stateflow charts",

author = "Miyazawa, {Alvaro Heiji} and Cavalcanti, {Ana Lucia Caneca}",

year = "2012",

month = sep,

day = "1",

doi = "10.1016/j.scico.2011.07.007",

language = "English",

volume = "77",

pages = "1151--1177",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier",

number = "10-11",

}

TY - JOUR

T1 - Refinement-oriented models of stateflow charts

AU - Miyazawa, Alvaro Heiji

AU - Cavalcanti, Ana Lucia Caneca

PY - 2012/9/1

Y1 - 2012/9/1

UR - http://www.scopus.com/inward/record.url?scp=84861581823&partnerID=8YFLogxK

U2 - 10.1016/j.scico.2011.07.007

DO - 10.1016/j.scico.2011.07.007

M3 - Article

SN - 0167-6423

VL - 77

SP - 1151

EP - 1177

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - 10-11

ER -

Refinement-oriented models of stateflow charts

Access to Document

Other files and links

ProCLaws: Programming from Control Laws

Cite this

Refinement-oriented models of stateflow charts

Access to Document

Other files and links

Projects

ProCLaws: Programming from Control Laws

Cite this