Cours

Nouveau filtre
Nouveau filtre
Nom complet
Nom abrégé
Résumé
Attributs personnalisés de cours

39035 Cours

Nom complet Nom abrégé Résumé
Surfaces/couches minces-M1 Matériaux et management industriel - Apprentissage UPSUD_2020_940_UE_OMRMT-900-O4MT01-904-D4MTC11A RESUME COURS : Voir le cours
Anglais S2-M1 Matériaux et management industriel - Apprentissage UPSUD_2020_940_UE_OMRMT-900-O4MT01-904-D4MTCAN2 RESUME COURS : Voir le cours
UNICIEL PRESCRISCIENCES UPSUD_2021_980_UNICIEL_PRESCRISCIENCES Voir le cours
Conception des transmissions mécaniques ENSPS_DGM_M1_C21 Voir le cours
Conception et dimensionnement des transmissions hydrauliques et hybrides ENSPS_DGM_M1_C22 Voir le cours
FAO ENSPS_DGM_M1_C23 Voir le cours
Pilotage et optimisation de chaines logistiques ENSPS_DGM_M1_C24 Voir le cours
Systèmes dynamiques hybrides ENSPS_DGM_M1_C25 Voir le cours
CSC_4SL04_TP - Bases de la vérification des systèmes distribués TPT_UE_2122

Objectives
The aim of this module is to introduce key concepts related to the formal verification of concurrent and distributed software.

Syllabus - The following aspects are addressed:
- Introduction, role of verification in the development process. Modelling of behaviour and formal semantics.
- Process Algebras and Labelled Transition Systems (LTS).
- Behavioural Properties (non determinism, deadlock, livelock, fairness, starvation, etc.)
- Remarkable equivalences and pre-orders: trace, testing, simulation, bi-simulation.
- Temporal logics (LTL et CTL) and Model Checking, Kripke structure, Buchi Automata, Fix point.
- Petri Nets, modelling of concurrency, synchronisation, conflict. Finiteness. Linear Invariants.

 Voir le cours
Thermodynamique 1 PCST-L1 Géosciences, Physique, Chimie UPSUD_2020_940_UE_OLDGPC-900-O1DGPC-900-OLPH103P RESUME COURS : Voir le cours
Instrumentation-L1 Géosciences, Physique, Chimie UPSUD_2020_940_UE_OLDGPC-900-O1DGPC-900-OLPH155 RESUME COURS : Voir le cours
Oraux de prépation aux concours-DU 3 LDD3 Mathématiques, Physique et Sciences de l'ingénieur UPSUD_2020_940_UE_ODUMP-900-O3UMP-900-OLMA380 RESUME COURS : Voir le cours
Théorie des groupes-DU 3 LDD3 Mathématiques, Physique et Sciences de l'ingénieur UPSUD_2020_940_UE_ODUMP-900-O3UMP-900-DLPY369A RESUME COURS : Voir le cours
Compétences : usages et maîtrise des TICE-DU Formation Professeurs des Ecoles UPSUD_2020_980_UE_UDUFPE-800-UDUFPE-801-UDUFPE4 RESUME COURS : Voir le cours
Réflexion et analyse personnelles appuyées sur la recherche-DU Formation Professeurs des Ecoles UPSUD_2020_980_UE_UDUFPE-800-UDUFPE-801-UDUFPE5 RESUME COURS : Voir le cours
Electromagnétisme L1 PCST-L1 Géosciences, Physique, Chimie UPSUD_2020_940_UE_OLDGPC-900-O1DGPC-900-OLPH153P RESUME COURS : Voir le cours
Disciplines et didactiques-DU Formation Professeurs des Ecoles UPSUD_2020_980_UE_UDUFPE-800-UDUFPE-801-UDUFPE2 RESUME COURS : Voir le cours
Compétences éducatives et pédagogiques-DU Formation Professeurs des Ecoles UPSUD_2020_980_UE_UDUFPE-800-UDUFPE-801-UDUFPE3 RESUME COURS : Voir le cours
Compétences réglementaires et institutionnelles-DU Formation Professeurs des Ecoles UPSUD_2020_980_UE_UDUFPE-800-UDUFPE-801-UDUFPE1 RESUME COURS : Voir le cours
Compétences en langue-DU Formation Professeurs des Ecoles UPSUD_2020_980_UE_UDUFPE-800-UDUFPE-801-UDUFPE6 RESUME COURS : Voir le cours
O4CI404 Connaissances transverses insertion professionnelle-Magistère Physico-Chimie Moléculaire 2ème année UPSUD_2020_940_UE_OMGPCM-900-OMGPC2-900-O4CI404 RESUME COURS : Voir le cours
Hébergement de ressources eCampus ouvertes HebergementRessourceNepasSuppr Voir le cours
Sciences humaines et sociales réorientation-1ère année Santé PASS UFR Medecine UPSUD_2020_930_UE_UPASS-900-UPASHB-972-UPS2CSHS RESUME COURS : Voir le cours
Sciences humaines et sociales-1ère année Santé PASS UFR Medecine UPSUD_2020_930_UE_UPASS-900-UPASHB-972-UPS2SHS RESUME COURS : Voir le cours
Chimie-1ère année Santé PASS UFR Medecine UPSUD_2020_930_UE_UPASS-900-UPASHB-972-UPS1CHI RESUME COURS : Voir le cours
Anglais-1ère année Santé PASS UFR Medecine UPSUD_2020_930_UE_UPASS-900-UPASHB-972-UPS2ANG RESUME COURS : Voir le cours
Anglais réorientation-1ère année Santé PASS UFR Pharmacie UPSUD_2020_920_UE_UPASS-900-UPASHB-970-UPS2CANG RESUME COURS : Voir le cours
Generalisation properties of algorithms in Machine Learning-M2 Mathématiques de l'aléatoire UPSUD_2020_940_UE_OMRMA-913-O5MDA-900-O5MDS09 RESUME COURS : Voir le cours
Astrophysique expérimentale-L2 interface Physique Chimie UPSUD_2020_940_UE_OLXPHY-900-O2XCHI-930-DLPH243A RESUME COURS : Voir le cours
Biochimie-1ère année Santé PASS UFR Medecine UPSUD_2020_930_UE_UPASS-900-UPASHB-972-UPS1BCH RESUME COURS : Voir le cours