Hocine Mokrani
7
Documents
Publications
Publications
Air Quality Monitoring Using IoT: A SurveyIEEE International Conference on Smart Internet of Things (SmartIoT), 2019, Tianjin, China. pp.127-134, ⟨10.1109/SmartIoT.2019.00028⟩
Communication dans un congrès
hal-03296004
v1
|
|
Towards a Smart Data Transmission Strategy for IoT Monitoring Systems: Application to Air Quality MonitoringInternational Conference on Theoretical and Applicative Aspects of Computer Science (ICTAACS), 2019, Skikda, Algeria. pp.1-7, ⟨10.1109/ICTAACS48474.2019.8988119⟩
Communication dans un congrès
hal-03296021
v1
|
|
Assisting Refinement in System on Chip DesignForum on Specification and Design Languages, Sep 2013, Paris, France. pp.1-6
Communication dans un congrès
hal-01216546
v1
|
|
Une approche de raffinement et de vérification formels des communications SOCGDR SOC-SIP'12, Jun 2012, Paris, France
Communication dans un congrès
hal-02411880
v1
|
Assisting Refinement in System-on-Chip DesignLanguages, Design Methods, and Tools for Electronic System Design, Selected Contributions from FDL 2013, 311, Springer, pp.21-42, 2015, Lecture Notes in Electrical Engineering, ⟨10.1007/978-3-319-06317-1_2⟩
Chapitre d'ouvrage
hal-01221739
v1
|
|
|
Assistance au raffinement dans la conception des systèmes embarquésSystèmes embarqués. Télécom ParisTech, 2014. Français. ⟨NNT : 2014ENST0029⟩
Thèse
tel-01466740
v1
|
Approche pour l'intégration du raffinement formel dans le processus de conception des SOCJournal Européen des Systèmes Automatisés, 2011, 45 (1-3), pp.221-236. ⟨10.3166/jesa.45.221-236⟩
Article dans une revue
istex
hal-01195919
v1
|
Chargement...
Chargement...