Category: verification
REAL TIME PROGRAMMING: LANGUAGES, SPECIFICATION AND VERIFICATION - SHYAMASUNDAR R K ET AL
AUTHOR AFFILIATION : TATA INST OF FUNDAMENTAL RES, INDIA PUB DATE : 4-Nov-09 ONLINE RELEASE DA
View DetailsSPECIFICATION AND VERIFICATION OF SYSTOLIC ARRAYS - LING NAM ET AL
AUTHOR AFFILIATION : SANTA CLARA UNIV, USA PUB DATE : 5-Aug-99 ONLINE RELEASE DATE : 5-May-11
View DetailsPROGRESS IN AUTOMATIC SIGNATURE VERIFICATION - PLAMONDON R
AUTHOR AFFILIATION : - PUB DATE : 28-Oct-94 ONLINE RELEASE DATE : 22-Sep-09 Print ISBN 13 :
View DetailsPoste d'enseignant-chercheur : Informatique - Vérification formelle - UNIVERSITE PARIS 13
Poste d'enseignant-chercheur : Informatique - Vérification formelle - UNIVERSITE PARIS 13 Année d
View Details- OUROUA - Modélisation et vérification formelle des propriétés de la sécurité informatique.
Auteur OUROUA, Directeur de thèse BOUKALA Malika Filière Informatique Diplôme Doctorat Titre Modéli
View Details- RAHIM - Vérification distribuée
Auteur RAHIM, Directeur de thèse BOUKALA Malika Filière Informatique Diplôme Doctorat Titre Vérific
View Details- BERRACHEDI - Modélisation et vérification des propriétés des réseaux de capteurs.
Auteur BERRACHEDI, Directeur de thèse BOUKALA Malika Filière Informatique Diplôme Doctorat Titre Mo
View Details- OUAZAR - Vérification des systèmes temps réel modulaires
Auteur OUAZAR, Directeur de thèse BOUKALA Malika Filière Informatique Diplôme Doctorat Titre Vérifi
View Details- ALEB - Exécution Symbolique Arriére pour la Vérification le Test et la Génération Automatique de Programmes.
Auteur ALEB, Directeur de thèse DRIAS Habiba Filière Informatique Diplôme Doctorat Titre Exécution
View Details- KEROUAT - Contribution à la vérification automatique du locuteur embarqué dans un téléphone portable.
Auteur KEROUAT, Directeur de thèse BOUDRAA Malika Filière Electronique Diplôme Doctorat Titre Contr
View Details- Boukala Mohamed Cherif - Vérification distribuée des systèmes complexes.
Auteur Boukala, Mohamed Cherif Directeur de thèse Mokhtari, A. (Professeur) Filière Informatique Dip
View DetailsEcole Nationale Supérieure d’informatique - Département de Post-Graduation - KOUDIL Mouloud - Vérification intéractive de circuits par l’analyse incrémentale
Mémoires de Fin d’Etudes Etablissement Ecole Nationale Supérieure d’informatique Affiliation Départ
View Details