Results for Computer systems programming

Publications & Outputs

1. Programming the World

   Beigl, M., Michahelles, F., Tokuda, H. & Hodges, S., 1/11/2017, In: Computer. 50, 11, p. 14-17 4 p.

   Research output: Contribution to Journal/Magazine › Journal article › peer-review

2. An approach to specify and test component-based dependable software

   Jhumka, A., Hiller, M. & Suri, N., 23/10/2002, 7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings.. IEEE, p. 211-220 10 p.

   Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review