Boolean Formalisation of the PMC Model for Faulty Units Diagnosis in Regular Multi-Processor Systems.

Miroslav Manik, Elena Gramatov

Browse the full DDECS paper archive.