Recherche - Archive ouverte HAL

3 résultats

	Pour les 3 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Formal Modeling IoT Systems on the Basis of BiAgents* and Maude Souad Marir , Belala Faiza , Hameurlain Nabil , St Marir Souad 2020 International Conference on Advanced Aspects of Software Engineering (ICAASE), Nov 2020, Constantine, Algeria. pp.1-7, ⟨10.1109/ICAASE51408.2020.9380126⟩ Communication dans un congrès hal-03177450v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		BiAgent-Based Model for IoT Applications Souad Marir , Roumeissa Kitouni , Zakaria Benzadri , Faiza Belala ICSOC, Nov 2017, Malagà, Spain. pp.111-123, ⟨10.1007/978-3-319-91764-1_9⟩ Communication dans un congrès hal-02507243v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A Formal Model for Interaction Specification and Analysis in IoT Applications Souad Marir , Faiza Belala , Nabil Hameurlain 8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.371-384, ⟨10.1007/978-3-030-00856-7_25⟩ Communication dans un congrès hal-02507242v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Filtrer vos résultats