Pages récentes

Modifier
la page

Nouvelle
page

Imprimer
la page
Page modifiée à 16:59, 27 Mar 2014 par FredericMallet
0

M1 IFI - Informatique Embarquée et mobile

De $1

Version de 00:25, 18 Aoû 2024

cette version.

Revenir à liste des archives.

Voir la version actuelle

Cette page s'adresse aux étudiants du M1 IFI, année université 2013/2014.

Ce module regroupe un certain nombre de sujets liés à la conception de systèmes embarqués. 

Systèmes embarqués et concurrents

  • 4 mars: Introduction à la conception de systèmes embarqués [Robert de Simone]
  • 7 mars: Algèbre de processus (CCS), Langages Synchrones [Robert de Simone]
  • 21 mars: Réseaux de processus [Robert de Simone]

Analyse Fonctionnelle et Temporelle

  • 14 mars: Logique temporelle CTL/LTL et Réseaux de Kahn [Robert de Simone]
  • 28 mars: NuSMV - langage et utilisation [Frédéric Mallet]

Modèles: Représentation, Persistence et transformations

  • Les machines à états vues de l'ingénieur [Frédéric Mallet]
  • Modèles XML et transformations [Frédéric Mallet]

Programmation mobile

  • Introduction à la programmation sous Android

 

 
Powered by MindTouch Deki Open Source Edition v.8.08