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]

Abstract

Abstract is missing.