An approach to automatic code generation for safety-critical systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageUndefined/Unknown
Title of host publicationAutomated Software Engineering, 1999. 14th IEEE International Conference on.
Pages315-318
Number of pages4
StatePublished - 1999

Cite this