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

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

Find It

Find It at U of M Libraries

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",

}