Prezentacja 1 - Trój-modularna redundancja

Prezentacja 2 - Formalana analiza kontrolera statku kosmicznego przy użyciu SPIN'a