Integrating statechart components in polyglot

Daniel Balasubramanian; Pas Corina S; Jason Biatek; Thomas Pressburger; Gabor Karsai; Michael R. Lowry; Michael W Whalen

Integrating statechart components in polyglot

Daniel Balasubramanian, Pas Corina S, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael R. Lowry, Michael W Whalen

Computer Science and Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Scopus citations

Original language	Undefined/Unknown
Title of host publication	NASA Formal Methods Symposium
Pages	267-272
Number of pages	6
State	Published - 2012

OpenUrl availability

Full text

Cite this

@inproceedings{dd908ece63ab422493f1a84e364e0430,

title = "Integrating statechart components in polyglot",

author = "Daniel Balasubramanian and S, {Pas Corina} and Jason Biatek and Thomas Pressburger and Gabor Karsai and Lowry, {Michael R.} and Whalen, {Michael W}",

year = "2012",

language = "Undefined/Unknown",

pages = "267--272",

booktitle = "NASA Formal Methods Symposium",

}