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 Safety specifications
Publications & Outputs
Designing efficient fail-safe multitolerant systems
Jhumka, A. &
Suri, N.
,
2005
,
Formal Techniques for Networked and Distributed Systems - FORTE 2005 .
Springer
,
Vol. 3731 LNCS
.
p. 428-422
15 p.
Research output
:
Contribution in Book/Report/Proceedings - With ISBN/ISSN
›
Chapter
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