Benha University
Staff Search:
Go
Login
You are in:
Home
/
Publications
Ass.
Lect.
Ahmed
Mohamed
Ali
Elsayed
Bakr
::
Publications:
Research Fields
No Research Fields
Number of publications is 3
Title
1-
Hazard analysis of real-time safety critical systems using hierarchical communicating real-time state machines formal model
Abstract
2-
Modeling real-time safety critical systems using hierarchical communicating real-time state machines and c-lang parser
Abstract
3-
Six Prosthetic Arm Movements Using Electromyogram Signals: A Prototype
Abstract
'
|
Full paper