Formal requirements-based programming for complex systems
| Title | Formal requirements-based programming for complex systems |
| Publication Type | Conference Proceedings |
| Year of Conference | 2005 |
| Authors | Rash, J., M. G. Hinchey, C. A. Rouff, and D. Gracanin |
| Conference Name | Proceedings of the International Conference on Engineering of Complex Computer Systems |
| Pagination | 116-125 |
| Date Published | June |
| Conference Location | (Shanghai, China |