Détail de l'auteur
Auteur Nabil Belala |
Documents disponibles écrits par cet auteur (2)
Affiner la recherche Interroger des sources externes
Titre : Formalisation des systèmes temps-réel avec durées d'actions Auteurs : Nabil Belala ; Univ. de Constantine, Éditeur scientifique ; Djamel-Eddine Saidouni, Directeur de thèse Année de publication : 2005 Importance : 90 f. Note générale : 01 Disponible à la salle de recherche 02 Disponibles au magazin de la bibliothèque centrale
01 CDCatégories : Français - Anglais
InformatiqueTags : systèmes temps-réel Duréess d'actions Formalisation Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/BEL4274.pdf Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=252 Formalisation des systèmes temps-réel avec durées d'actions [] / Nabil Belala ; Univ. de Constantine, Éditeur scientifique ; Djamel-Eddine Saidouni, Directeur de thèse . - 2005 . - 90 f.
01 Disponible à la salle de recherche 02 Disponibles au magazin de la bibliothèque centrale
01 CD
Catégories : Français - Anglais
InformatiqueTags : systèmes temps-réel Duréess d'actions Formalisation Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/BEL4274.pdf Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=252 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité BEL/4274 BEL/4274 Thèse Bibliothèque principale Thèses Disponible
Titre : Modèles de temps et leur intér¼t à la vérification formelle des systèmes temps-réel Type de document : texte imprimé Auteurs : Nabil Belala ; Djamel-Eddine Saidouni, Directeur de thèse ; Univ. de Constantine, Éditeur scientifique Année de publication : 2010 Importance : 115 f. Note générale : 01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD Langues : Français (fre) Catégories : Français - Anglais
InformatiqueTags : Systèmes temps-réel Vérification formelle Réseaux de Petri Sémantique de maximalité LOTOS Spécificationformelle Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/BEL5849.pdf Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=4595 Modèles de temps et leur intér¼t à la vérification formelle des systèmes temps-réel [texte imprimé] / Nabil Belala ; Djamel-Eddine Saidouni, Directeur de thèse ; Univ. de Constantine, Éditeur scientifique . - 2010 . - 115 f.
01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD
Langues : Français (fre)
Catégories : Français - Anglais
InformatiqueTags : Systèmes temps-réel Vérification formelle Réseaux de Petri Sémantique de maximalité LOTOS Spécificationformelle Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/BEL5849.pdf Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=4595 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité BEL/5849 BEL/5849 Thèse Bibliothèque principale Thèses Disponible
