Skip to content
View DrHAMDANE's full-sized avatar
9 followers · 3 following

Block or report DrHAMDANE

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. TransformationAADL2timedAutomata TransformationAADL2timedAutomata Public

    We propose in this work an approach for the verification of the AADL (Architecture and Analysis Design Language) description. This approach is based in Model Driven Engineering (MDE) and assisted by…

    Assembly 7

  2. EPassport-DesktopApp-managing-biometric-passports-integrating-anticodiv19-vaccination EPassport-DesktopApp-managing-biometric-passports-integrating-anticodiv19-vaccination Public

    This project try to improve the biometric passport such as can incorporate the vaccination record. we suggest the use of NoSQL databases that have been created to meet these requirements. We have d…

    HTML 2

  3. Proconcour-DesktopApp-managing-recruitment-competitions Proconcour-DesktopApp-managing-recruitment-competitions Public

    Proconcour is an efficient desktop application for the management and organisation of recruitment competitions. © Mr. mohamed elkamel HAMDANE & Melle Randa KIAS & Melle Ghania LAMRI & Melle Aziza G…

    Java 1

  4. EnvEditor-DesktopApp-implementation-robot-movement-algorithms EnvEditor-DesktopApp-implementation-robot-movement-algorithms Public

    EnvEditor is a desktop application that can simulate a lot of algorithms that control a robot's movements. Graduation final project in Constantine university. © Mr. Mohamed Elkamel HAMDANE & Mr. Ka…

    C++

  5. An-agent-based-architecture-for-supporting-adaptability-in-a-workflow-environment An-agent-based-architecture-for-supporting-adaptability-in-a-workflow-environment Public

    This project provides an architecture-based agent to manage adaptability in a workflow system. The proposed architecture is mainly composed of two types of agents: an agent manager and several user…

    Java

  6. SVSCA-Simulator-checking-automotive-air-conditioning-system SVSCA-Simulator-checking-automotive-air-conditioning-system Public

    SvScA is a simulator for specifying and verifying the automotive air conditioning system linked directly with the UPPAAL model checker. © Mr. mohamed elkamel HAMDANE & Mr Yahyaoui mehdi & Mlle Zoua…

    Java