Back to overview
Export results as [feed] RSS 1.0 [feed] RSS 2.0
Order by: Document Type | Year of publication | No order
Number of items: 1.

Conference or workshop publication

Freiling, Felix ; Jhumka, Arshad Automating 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 Wed Jun 23 14:43:17 2021 CEST