Nombre de documents

3

CV de Nabil Belala


Article dans une revue2 documents

  • Djamel Eddine Saidouni, Nabil Belala, Radja Boukharrou, Ahmed Chawki Chaouche, Adel Seraoui, et al.. Time Petri Nets with Action Duration: A True Concurrency Real-Time Model. International Journal of Embedded and Real-Time Communication Systems, 2013, 4 (2), pp.62-83. <10.4018/jertcs.2013040104>. <hal-00879178>
  • Nabil Belala, Djamel Eddine Saïdouni, Messaouda Bouneb, Jean-Michel Ilié. Maximality Semantics and Petri Nets. International Journal of Computer Science and Technology, 2012, 3 (3-4), pp.687-694. <hal-01176425>

Thèse1 document

  • Nabil Belala. Modèles de temps et leur intérêt à la vérification formelle des systèmes temps-réel. Théorie et langage formel [cs.FL]. Université Mentouri de Constantine, Algérie, 2010. Français. <tel-01509446>