A formal system approach for cerebral malaria

Cerebral Malaria is a neurological complication caused by the plasmodium falciparum malaria. Therefore quality and prompt treatment in addition to fault tolerance is necessary due to critical safety. The use of formal specification creates a formal approach for specifying the underlying functions and properties of the cerebral malaria system. This paper has attempted to give a formal description of the activities cerebral malaria system Using Zed notations. The interaction within the system is visualized using Unified Modelling Language (UML) sequence diagrams.

Ejiofor, C.I and Okengwu, U.A.
Volume No: 
Issue No: 
Paper Number: 
Select Subjects: 
Select Issue: 
Download PDF: