S. Potyra, Volkmar Sieh, Mario Dal Cin. Evaluating fault-tolerant system designs using FAUmachine. In Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky, editors, Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007. pages 9, ACM, 2007. [doi]
Abstract is missing.