Original language | Undefined/Unknown |
---|---|
Title of host publication | Automated Software Engineering, 1999. 14th IEEE International Conference on. |
Pages | 315-318 |
Number of pages | 4 |
State | Published - 1999 |
An approach to automatic code generation for safety-critical systems
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution