Tertiary Links
Publications
Education
Resources
People
Sponsors
Careers
Contact
Alumni
Secondary links
Login
Search this site:
Primary links
Projects
Active Projects
Archived Projects
Tools
Research
Model Integrated Computing
Smart Cities
Distributed Object Computing
Network Embedded Systems
Cyber-Physical Systems
Education Technology
Smart Mobility
Modeling and Analysis of Complex Systems
Careers
Internships
Calendar
Proposal Questionnaire
ISIS VPN
Printers
Home
ISIS Publications
List
Filter
Export 1 results:
Tagged
XML
BibTex
Sort by:
Author
Title
Type
[
Year
]
Filters:
Author
is
Thomas Pressburger
[Clear All Filters]
2012
Balasubramanian, D.
,
C. S. Pasareanu
,
J. Biatek
,
T. Pressburger
,
G. Karsai
,
M. R. Lowry
, and
M. W. Whalen
,
"
Integrating Statechart Components in Polyglot
",
NASA Formal Methods
, vol. 7226, Norfolk, VA, Springer, 04/2012.
Abstract
Tagged
XML
BibTex
Google Scholar