Test platform for fault tolerant systems design properties verification.

Martin Straka, Lukas Miculka, Jan Kastil, Zdenek Kotsek

Browse the full DDECS paper archive.