Results for Global consistency

Publications & Outputs

1. A framework for the design and validation of efficient fail-safe fault-tolerant programs

   Jhumka, A., Suri, N. & Hiller, M., 2003, Software and Compilers for Embedded Systems . Springer-Verlag, Vol. 2826. p. 182-197 16 p.

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