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 Thu Nov 21 01:41:00 2024 CET automatisch erstellt.
