Directory Home
Researchers
Departments
Publications
Projects
Activities
Datasets
Home
>
Research
> Browse
Research
Research at Lancaster
Researchers
Departments & Centres
Publications & Outputs
Projects
Activities
Datasets
Results for Test cases
Publications & Outputs
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