Results for Reusable softwares

Publications & Outputs

1. Component-based synthesis of dependable embedded software

   Jhumka, A., Hiller, M. & Suri, N., 2002, Formal Techniques in Real-Time and Fault-Tolerant Systems. Springer-Verlag, Vol. 2469. p. 111-128 18 p.

   Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter