Freiling, Felix ; Jhumka, ArshadAutomating the addition of fail-safe fault-tolerance : Beyond fusion-closed specifications.Lakhnech, Yassine
Lecture Notes in Computer Science
3253
183-198
In: Formal techniques, modelling and analysis of timed and fault-tolerant systems : FTRTFT 2004, Grenoble, France, September 22 - 24, 2004; proceedings
(2004)
Berlin [u.a.]
[Conference or workshop publication]
This list was created automatically on Tue Feb 7 04:40:01 2023 CET