Search filters

List of works by Mohammad Saleh

ConProve: A conceptual prover system

Ensemble classifier for epileptic seizure detection for imperfect EEG data

scientific article published on 04 February 2015

Fault tolerant approach for verified software: Case of natural gas purification simulator

Inference engine based on closure and join operators over Truth Table Binary Relations

article by Samir Elloumi et al published March 2014 in Journal of Logical and Algebraic Methods in Programming

Paulina is supported by:

About Paulina

Help