Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Co-design et raffinement en B BHDL tool, plateforme pourr la conception de composants numériques

Autor: Aljer, Ammar Devienne, Philippe Tison, Sophie.

Reproduction de : Thèse de doctorat : Informatique : Lille 1 : 2004.
Titre provenant de la page de titre du document numérisé. Bibliogr. p. 183-194.

Externí odkaz: https://iris.univ-lille1.fr/dspace/handle/1908/186

Smart technology for the protection of urban biodiversity

Autor: Pham Thi Hai Yen, Shahrour Isam, Aljer Ammar, Lepretre Alain, Pernin Celine, Ounaies Sana

Publikováno v: MATEC Web of Conferences, Vol 281, p 03002 (2019)

This paper presents the use of the smart city solution for the protection of urban biodiversity. This biodiversity is crucial for human wellbeing and sustainable development. The paper presents first the urban biodiversity, then the risk of its deter

Externí odkaz: https://doaj.org/article/4eafd92850fa4fb6afd310a36b2949fc

Experimental Analysis of the Spatial Variations of Air Pollution in a University Campus

Autor: Shahrour, Isam, Aljer, Ammar

Publikováno v: Biomedical Journal of Scientific & Technical Research
Biomedical Journal of Scientific & Technical Research, 2020, 26 (3), ⟨10.26717/bjstr.2020.26.004341⟩

Since air pollution constitutes one of the main environmental threats for human, the World Health Organization (WHO) as well as other national or regional authorities established Air Quality Guidelines (AQGs) to monitor the air pollution and prevent

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2cbb32e5f564655bccd430120ac0c735
https://doi.org/10.26717/bjstr.2020.26.004341

Formalization of Digital Circuits Using the B Method

Autor: Boulanger, Jean-Louis, Aljer, Ammar

Publikováno v: Formal Methods Applied to Complex Systems
Formal Methods Applied to Complex Systems, John Wiley & Sons, Inc., pp.151-185, 2014, ⟨10.1002/9781119002727.ch6⟩

International audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::57450b79b2eb0922dbb8a16dfffb7c6e
https://hal-univ-artois.archives-ouvertes.fr/hal-03526436