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.]
[Konferenzveröffentlichung]
Diese Liste wurde am Sat Aug 17 01:31:52 2024 CEST automatisch erstellt.