Détail de l'auteur
Auteur Djamel-Eddine Saidouni |
Documents disponibles écrits par cet auteur (7)
Affiner la recherche Interroger des sources externes
Titre : Algorithmes de model checker opérant sur les DATA*(Durational Action Timed Automata) Type de document : texte imprimé Auteurs : Amel Boumaza, Auteur ; Djamel-Eddine Saidouni, Directeur de thèse Editeur : Constantine : Université Mentouri Constantine Année de publication : 2010 Importance : 88 f. Format : 31 cm Note générale : Magister
2 copies imprimées disponibles
Langues : Français (fre) Catégories : Français - Anglais
InformatiqueTags : Systèmes temps-réel Durées d'actions Véri cation formelle Langage D-LOTOS Modèle des DATA*'s Modèle checking Graphes de régions. Informatique Index. décimale : 004 Traitement de données. Informatique Diplôme : Magistère En ligne : ../theses/informatique/BOU5915.pdf Format de la ressource électronique : Permalink : index.php?lvl=notice_display&id=5713 Algorithmes de model checker opérant sur les DATA*(Durational Action Timed Automata) [texte imprimé] / Amel Boumaza, Auteur ; Djamel-Eddine Saidouni, Directeur de thèse . - Constantine : Université Mentouri Constantine, 2010 . - 88 f. ; 31 cm.
Magister
2 copies imprimées disponibles
Langues : Français (fre)
Catégories : Français - Anglais
InformatiqueTags : Systèmes temps-réel Durées d'actions Véri cation formelle Langage D-LOTOS Modèle des DATA*'s Modèle checking Graphes de régions. Informatique Index. décimale : 004 Traitement de données. Informatique Diplôme : Magistère En ligne : ../theses/informatique/BOU5915.pdf Format de la ressource électronique : Permalink : index.php?lvl=notice_display&id=5713 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité BOU/5915 BOU/5915 Thèse Bibliothèque principale Thèses Disponible
Titre : Détermination des automates temporisés avec durées d'actions pour le test formel Auteurs : Ilhem Kitouni ; Univ. de Constantine, Éditeur scientifique ; Djamel-Eddine Saidouni, Directeur de thèse Année de publication : 2008 Importance : 84 f. Note générale : 01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C. 01 CD Catégories : Français - Anglais
InformatiqueTags : Automates temporisés Actions Test formel Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/KIT5323.pdf Permalink : index.php?lvl=notice_display&id=281 Détermination des automates temporisés avec durées d'actions pour le test formel [] / Ilhem Kitouni ; Univ. de Constantine, Éditeur scientifique ; Djamel-Eddine Saidouni, Directeur de thèse . - 2008 . - 84 f.
01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C. 01 CD
Catégories : Français - Anglais
InformatiqueTags : Automates temporisés Actions Test formel Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/KIT5323.pdf Permalink : index.php?lvl=notice_display&id=281 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité KIT/5323 KIT/5323 Thèse Bibliothèque principale Thèses Disponible
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 : 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 : 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 formels pour la conception des systèmes temps réel Type de document : texte imprimé Auteurs : Toufik Messaoud Maarouk, Auteur ; Djamel-Eddine Saidouni, Directeur de thèse Editeur : Constantine : Université Mentouri Constantine Année de publication : 2012 Importance : 114 f. Format : 31 cm. Note générale : Doctorat en sciences
2 copies imprimées disponiblesLangues : Français (fre) Catégories : Français - Anglais
InformatiqueTags : Sémantique de vrai parallélisme, Mobilité, Systèmes temps-réel, Systèmes distribués, LOTOS. Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat en sciences En ligne : ../theses/informatique/MAA6230.pdf Format de la ressource électronique : Permalink : index.php?lvl=notice_display&id=6183 Modèles formels pour la conception des systèmes temps réel [texte imprimé] / Toufik Messaoud Maarouk, Auteur ; Djamel-Eddine Saidouni, Directeur de thèse . - Constantine : Université Mentouri Constantine, 2012 . - 114 f. ; 31 cm.
Doctorat en sciences
2 copies imprimées disponibles
Langues : Français (fre)
Catégories : Français - Anglais
InformatiqueTags : Sémantique de vrai parallélisme, Mobilité, Systèmes temps-réel, Systèmes distribués, LOTOS. Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat en sciences En ligne : ../theses/informatique/MAA6230.pdf Format de la ressource électronique : Permalink : index.php?lvl=notice_display&id=6183 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAA/6230 MAA/6230 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 : 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 : 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 PermalinkPermalink
