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

		Time Petri Nets with Action Duration: A True Concurrency Real-Time Model Nabil Belala , Djamel Eddine Saidouni , Radja Boukharrou , Ahmed Chawki Chaouche , Adel Seraoui , et al. International Journal of Embedded and Real-Time Communication Systems, 2013, 4 (2), pp.62-83. ⟨10.4018/jertcs.2013040104⟩ Article dans une revue hal-00879178v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Modèles de temps et leur intérêt à la vérification formelle des systèmes temps-réel Nabil Belala Théorie et langage formel [cs.FL]. Université Mentouri de Constantine, Algérie, 2010. Français. ⟨NNT : ⟩ Thèse tel-01509446v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Maximality Semantics and Petri Nets Nabil Belala , Djamel Eddine Saïdouni , Messaouda Bouneb , Jean-Michel Ilié International Journal of Computer Science and Technology, 2012, 3 (3-4), pp.687-694 Article dans une revue hal-01176425v1	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