العربية
Banner

Number of Publications

3 Number of Publications

Hazard analysis of real-time safety critical systems using hierarchical communicating real-time state machines formal model

2017
Abstract

Modeling real-time safety critical systems using hierarchical communicating real-time state machines and c-lang parser

2017
Abstract

Six Prosthetic Arm Movements Using Electromyogram Signals: A Prototype

2016
Full Paper Abstract