Automated Code Generation for Safety-Related Applications: a Case Study

David P. Gluch, Andrew J. Kornecki. Automated Code Generation for Safety-Related Applications: a Case Study. Computer Science (AGH), 8:37-48, 2007. [doi]

Authors

David P. Gluch

This author has not been identified. Look up 'David P. Gluch' in Google

Andrew J. Kornecki

This author has not been identified. Look up 'Andrew J. Kornecki' in Google