Modélisation et vérification fonctionnelle des systèmes numériques
Course categorySemestre 2
1ère année
Course categories
- Université de Sousse
- Faculté des Sciences Economiques et de Gestion de Sousse 10
- Licence en Sciences de Gestion 1
- Licence en Sciences Economiques
- Licence Appliquée RCI
- Licence Appliquée TFA
- Master professionnel ingénierie des affaires et commerce international 2020-2021
- Master professionnel économie sociale et solidaire 2020-2021
- Master recherche management stratégique et consulting 2020-2021
- Master recherche Ingénierie Economique et Econométrie appliquée 2020-2021
- Master professionnel Marketing digital des services 2020-2021
- Master recherche Finance 2020-2021
- Master recherche Monnaie finance et développement 2020-2021
- Master professionnel Finance et banque 2020-2021
- Master professionnel sciences et techniques comptables 2020-2021
- Faculté de Droit et des Sciences Politiques de Sousse 4
- Faculté de Médecine Ibn El Jazzar de Sousse
- Espace d'accueil -Programme 3
- 1er Cycle
- 1er Cycle (English Curriculum)
- 2ème Cycle
- 2nd Cycle (English Curriculum)
- T.C.E.M 3ème Cycle - Collèges
- Formation Transversale - Tous les collèges 7
- Collège national d'Anatomie Pathologique
- Collège national d’Anatomie 1
- Collège national d’Anesthésie-Réanimation 0
- Collège national d’Endocrinologie 0
- Collège national d’Hématologie 0
- Collège national d’Histologie Embryologie 0
- Collège national d’Immunologie 0
- Collège national d’Ophtalmologie 0
- Collège national d’Orthopédie 0
- Collège national d’Urologie 1
- Collège national de Biophysique 1
- Collège national de Carcinologie Médicale 0
- Collège national de Cardiologie 1
- Collège national de Biochimie 0
- Collège national de Chirurgie Cardio-Vasculaire & Thoracique 0
- Collège national de Chirurgie Générale 10
- Collège National de chirurgie plastique réparatrice et esthétique 0
- Collège national de Chirurgie Maxillo-Faciale 0
- Collège national de Dermatologie 0
- Collège national de Gastro-entérologie 2
- Collège national de Génétique 0
- Collège national de Maladies Infectieuses 0
- Collège national de Gynécologie-Obstétrique 0
- Collège national de Médecine d'Urgence 17
- Collège national de Médecine de famille 0
- Collège national de Médecine du Travail 1
- Collège national de Médecine Interne 0
- Collège national de Médecine Légale 1
- Collège national de Médecine Physique 7
- Collège national de Néo-Natologie 0
- Collège national de Médecine préventive et communautaire 0
- Collège national de Microbiologie 0
- Collège national de Néphrologie 1
- Collège national de Neurologie et Neuro-Chirurgie 0
- Collège national de O.R.L 1
- Collège national de Parasitologie 0
- Collège national de Pédiatrie 0
- Collège national de Physiologie 0
- Collège national de Pneumo-phtisiologie 0
- Collège national de Psychiatrie 0
- Collège national de Radiologie 0
- Collège national de Radiothérapie 1
- Collège national de Réanimation Médicale 0
- Collège national de Rhumatologie 0
- Collèges nationaux preview
- Cycle de préparation Résidanat 1
- Masters-CEC
- MASTÈRE DE RECHERCHE
- MASTÈRE PROFESSIONNEL
- MASTÈRE CO-CONSTRUIT PROFESSIONNEL : Intervention Musico-thérapeutique
- MASTÈRE PROFESSIONNEL : Appareillage des Handicapés Moteurs 1
- MASTÈRE PROFESSIONNEL : Cardiologie congénitale et pédiatrique
- MASTÈRE PROFESSIONNEL : Cardiologie du sport et réadaptation cardiaque
- MASTÈRE PROFESSIONNEL : Dermatologie esthétique et cosmétologie laser
- MASTÈRE PROFESSIONNEL : Dermatologie professionnelle et de l'environnement 3
- MASTÈRE PROFESSIONNEL : Génétique pathologique
- MASTÈRE PROFESSIONNEL : Gériatrie & Gérontologie Clinique 1
- MASTÈRE PROFESSIONNEL : Homéopathie
- MASTÈRE PROFESSIONNEL : Informatique médicale
- MASTÈRE PROFESSIONNEL : Maladies respiratoires et de l'environnement 3
- MASTÈRE PROFESSIONNEL : Médecine d'urgence
- MASTÈRE PROFESSIONNEL : Médecine du Sport 1
- MASTÈRE PROFESSIONNEL : Médecine familiale 5
- MASTÈRE PROFESSIONNEL : Neuroradiologie et neuroimagerie diagnostique
- MASTÈRE PROFESSIONNEL : Qualité des soins et management des services de santé 2
- MASTÈRE PROFESSIONNEL : Sécurité et maîtrise du risque infectieux en milieu de soins 1
- MASTÈRE PROFESSIONNEL : Sexologie clinique 1
- MASTÈRE PROFESSIONNEL : Thalassothérapie et thermalisme
- MASTÈRE PROFESSIONNEL : Thérapie comportementale et cognitives
- MASTÈRE PROFESSIONNEL : Ventilation non invasive de l’hôpital au domicile
- MODULES TRANSVERSAUX 3
- CERTIFICAT DES ETUDES COMPLÉMENTAIRES
- CEC : Anatomie appliquée à l'appareil Locomoteur 1
- CEC : Anatomie Clinique Thoraco-AbdominoPelvienne 1
- CEC : Anglais médical 1
- CEC : Approches endocrinologique, dermatologique et gynécologique du Syndrome des ovaires polykystiques (SOPK) 1
- CEC : Biologie clinique 6
- CEC : Biologie de la reproduction humaine et aide à la procréation médecine de la reproduction PMA 1
- CEC : Chimiothérapie anti-infectieuse 6
- CEC : Chirurgie dermatologique 1
- CEC : Chirurgie endoscopique en gynécologie 1
- CEC : Chronobiologie Humaine 1
- CEC : Dermatologie pédiatrique 16
- CEC : Diététique thérapeutique 1
- CEC : Droit médical 1
- CEC : Echographie cardiaque - Techniques innovantes 1
- CEC : Echographie gynécologique et obstétricale 1
- CEC : Echographie Obstétricale et Pelvienne 1
- CEC : Education thérapeutique du patient 2
- CEC : Endocrinologie nucléaire 1
- CEC : Ethique de la pratique et de la recherche médicale 1
- CEC : Evaluation et traitement de la douleur 1
- CEC : Exploration non invasive et imagerie cardiaque 1
- CEC : Gériatrie 1
- CEC : Gynécologie médicale et endocrinologie gynécologique 1
- CEC : Hématologie et rein 1
- CEC : Hypnose Ericksonienne 1
- CEC : Imagerie oncologique 1
- CEC : Immunothérapies ciblées des maladies inflammatoires et auto-immunes 1
- CEC : Innovation Pédagogique & Numérique
- CEC : Intelligence artificielle appliquée à la Santé 1
- CEC : L’après cancer - Les enjeux, les contraintes et les remèdes 1
- CEC : La gynéco-obstétrique en première ligne - les bonnes pratiques 1
- CEC : La Médecine Traditionnelle Chinoise - Principes et fondamentaux 1
- CEC : Le sommeil - De la physiologie à la prise en charge 1
- CEC : Les bonnes pratiques en Médecine 1
- CEC : Les hépatopathies chroniques 1
- CEC : Les urgences abdominales médicales et chirurgicales 1
- CEC : Maladies respiratoires et environnementales 1
- CEC : Maladies systémiques et rein 1
- CEC : Management des facultés et établissements supérieurs de formation "Ecoles des responsables d'établissement" 1
- CEC : Médecine de football 1
- CEC : Médecine Pré-hospitalière 1
- CEC : Méthodologie de recherche 1
- CEC : Microchirurgie ophtalmologique 1
- CEC : Nanomédecine et technologies avancées pour la santé connectée 1
- CEC : Neuro-ophtalmomogie 1
- CEC : Oculoplastie - Pathologie et chirurgie orbito-palpébro-lacrymales 1
- CEC : Oncogénétique 6
- CEC : Pathologie Chirurgicale du Genou 1
- CEC : Pathologie Tumorale de l'Enfant 1
- CEC : Pathologie tumorale et thoracique 1
- CEC : Pathologie tumorale maligne de l’appareil locomoteur 1
- CEC : Pathologie tumorale maligne du tube digestif 1
- CEC : Pathologies fonctionnelles digestives 1
- CEC : Pathologies neurovasculaires 1
- CEC : Pathologies tumorales malignes du pelvis et du périnée chez la femme 1
- CEC : Pédagogie Médicale 1
- CEC : Pelvi-périnéologie et bilan urodynamique 1
- CEC : Pharmacologie clinique et sécurité des médicaments 1
- CEC : Phytothérapie Clinique 1
- CEC : Préservation de la fertilité 1
- CEC : Prévention et Contrôle des Infections « PCI» 1
- CEC : Prévention et soins palliatifs en cancérologie 8
- CEC : Prise en charge de l’insuffisance cardiaque 1
- CEC : Prise en charge des maladies auto-immunes et systémiques 21
- CEC : Prise en charge du pied diabétique 1
- CEC : Proctologie 1
- CEC : Réadaptation à l’effort des pathologies chroniques : Cardiaques, pulmonaires, métaboliques, neuromusculaires- Education thérapeutique 1
- CEC : Réanimation pédiatrique et néonatale 6
- CEC : Rééducation pédiatrique 1
- CEC : Santé Scolaire et universitaire 7
- CEC : Sénologie 1
- CEC : Simulation appliquée à l'enseignement des sciences de la santé 1
- CEC : Système HLA - Du fondamental aux applications cliniques 1
- CEC : Tabacologie et aide au sevrage tabagique 6
- CEC : Traitement des dispositifs médicaux en milieu de soins 1
- CEC : Transplantation d’Organes et Immunologie 1
- CEC : Traumatologie urgente 1
- CEC : Tumeurs malignes de l'appareil locomoteur 1
- DIU FRANCOPHONE : Prévention-Réadaptation cardiovasculaire et Cardiologie du Sport 1
- FMC/DPC 1
- DOCTORAT EN SCIENCES DE LA SANTE 2
- Faculté des Lettres et des Sciences Humaines de Sousse
- Licence 1
- Licence Arabe
- Licence Français 1
- Licence Anglais
- Licence Histoire
- Licence Appliquée en Patrimoine
- Licence Géographie
- Licence Appliquée en Géographie
- Licence Anthropologie
- Mastère
- 2CN 6
- Séminaire Pédagogique Elearning 1
- Informatique 0
- Licence 1
- Institut des Hautes Etudes Commerciales de Sousse 3
- Autres Espaces 22
- Licence en Monnaie, Finance, Banque, Assurance
- Licence en sciences de gestion
- Licence Appliquée en Administration des Affaires
- Licence Appliquée en Comptabilité (Parcours : Gestion Comptable)
- Licence Appliquée en Marketing (Parcours : Techniques du Marketing)
- Licence Appliquée en Production & Logistique (Parcours : Gestion de la Qualité)
- Licence Appliquée en Marketing (Parcours : Techniques du Vente et Distribution)
- Licence Fondamentale en Management
- Licence Fondamentale en Gestion (Parcours : Finance)
- Licence Fondamentale en Gestion (Parcours : Hautes études commerciales / Finance)
- Master de Recherche Finance et Actuariat
- Master de Recherche Marketing
- Master Professionnel «Comptabilité (Préparatoire aux épreuves de révision comptable) »
- Master Professionnel : « Distribution et Relation Client »
- Master Professionnel : Entrepreneuriat et Management des Projets
- Master Professionnel : Chartered Financial Analyst
- Master Professionnel : Banque, Assurance et Gestion de Patrimoine 2
- Master Professionnel : Management &Ingénierie de l'innovation
- Doctorat 6
- Institut Supérieur de Finances et de Fiscalité de Sousse 4
- Licence en Science de Gestion (LSG)
- Licence en Sciences Economiques (LSE)
- Licence en Sciences Comptables (LSC)
- Master professionnel de Gestion financière et fiscale (GFF)
- Master professionnel en Comptabilité-Contrôle-Audit (CCA)
- Mastère recherche en économie et finance internationale (EFI)
- Mastère de Recherche en Finance
- Institut Supérieur des Beaux Arts de Sousse
- Licence Design Espace
- Licence en Design Produit
- Licence Design Image
- Licence en Arts Plastiques
- Licence en Conservation et Restauration des Biens Culturels
- Master de recherche design
- Master de recherche ArtsPlastiques
- Master Prof Design Espace
- Master Pro Design Image
- Master Pro Design Produit
- MP Design Développement Durable
- Master Pro Photographie
- Master Pro Art et Technologie Céramique
- Institut Supérieur de Gestion de Sousse 4
- Licence en Gestion
- Licence en Economie
- Licence en Informatique de Gestion
- Mastères de recherche
- Mastères Professionnels
- Mastères en co-diplomation
- CLE : Comprendre L'Entreprise 2
- Licence Appliquée en Comptabilité
- Licence Fondamentale en Comptabilité
- Licence Fondamentale en Finance
- Licence Fondamentale En Marketing
- Licence Appliquée en Finance
- Divers 0
- 3ème Année 0
- Evaluations
- Institut Supérieur d'Informatique et des Technologies de Communication de Hammam Sousse 1
- CLE: Comprendre L'Entreprise 3
- Cours Cycle Ingénieur
- Cours Licences
- Divers 2
- Cours Mastères
- Cours Doctorat Informatique 4
- Comité EAD 1
- Institut Supérieur de Musique de Sousse 1
- Institut Supérieur des Sciences Appliquées et de Technologie de Sousse 3
- Cycle préparatoire integré
- Formation d'ingénieur
- Licences Unifiées
- Masters professionnels
- Masters de recherche
- C2I 6
- Divers 9
- Institut Supérieur du Transport et de la Logistique de Sousse 18
- Technologie et Ingénierie du transport (TIT)
- Génie logistique (GL)
- Science de transport (ST)
- Licence Appliquée Transport et Commerce International (TCI)
- Licence Appliquée Transport maritime et gestion portuaire (TMGP)
- Licence Appliquée Planification des Transports et Développement Territorial (PTDT)
- Licence Appliquée Logistique industrielle (GL-LI)
- Licence Appliquée Logistique des opérations internationales (GL-LOI)
- Licence Appliquée Logistique de Distribution (GL-LD)
- Licence Appliquée Maintenance des systèmes de transport (MST)
- Licence Appliquée Systèmes logistiques et transports (SLT)
- Licence Fondamentale Economie et Planification des Transports (EPT)
- Licence Fondamentale Sciences de la logistique (SL)
- Licence Fondamentale Technologie et ingénierie du transport (TIT)
- Mastère professionnel en Ingénierie du Transport et de la Logistique (MP-ITL)
- Mastère professionnel en Management des Affaires Maritimes (MAM)
- Mastère de recherche en Sciences du Transport et de la Logistique (STIL)
- Ecole Nationale d’Ingénieurs de Sousse 4
- Ecole Supérieure des Sciences et des technologies de Hammam Sousse 2
- Institut Supérieur Agronomique de Chott Mériem 8
- Ecole Supérieure des Sciences et Techniques de la Santé de Sousse 2
- Institut Supérieur des Sciences infirmières de Sousse
- Séminaires pédagogiques TICE
- Espaces Elearning 6
- Colloque IPEN 2020 8
- Formation nouveaux recrutés 2
- Ecole Doctorale "Sciences et Ingénierie"- EDSI 2
- Cycle Innovation Pédagogique et Numérique 6
- Auto-Formation 4
- Faculté des Sciences Economiques et de Gestion de Sousse 10