Forum des informaticiens de la FST
L'équipe du Forum Info-Fst, vous souhaite la bienvenue parmi nous.

Cours modelchecking

Aller en bas

Cours modelchecking

Message par wama le Jeu 24 Avr - 6:17

C'est un cours de Madame Leila
http://www3.partage-facile.com/1023956-Cours_modelchecking.ppt.html
avatar
wama
habitué(e)
habitué(e)

Masculin Nombre de messages : 63
Age : 33
Section et Année : I4
Localisation : la_bas
Date d'inscription : 10/10/2006

Voir le profil de l'utilisateur

Revenir en haut Aller en bas

Re: Cours modelchecking

Message par Ouss_sk8 ™ le Jeu 24 Avr - 6:58

on attend les exposés de NTR. bluetooth zigbee, et les deux autres
merci
avatar
Ouss_sk8 ™
VIP
VIP

Masculin Nombre de messages : 1130
Age : 33
Section et Année : I3
Localisation : Oop's!!! mon GPS en panne
Date d'inscription : 01/11/2006

Voir le profil de l'utilisateur http://www.booska-p.com/

Revenir en haut Aller en bas

Re: Cours modelchecking

Message par wama le Ven 25 Avr - 2:49

g pas encore demandé de m donner les exposés parce que je pense qu'ils vont les modifier inchallah la semaine prochaine ndabirhom
avatar
wama
habitué(e)
habitué(e)

Masculin Nombre de messages : 63
Age : 33
Section et Année : I4
Localisation : la_bas
Date d'inscription : 10/10/2006

Voir le profil de l'utilisateur

Revenir en haut Aller en bas

Re: Cours modelchecking

Message par unknown le Ven 25 Avr - 4:09

Model Checking !!! ah c bien il ya eu des mise a jour du programme , j'ai vu le cour, c pas mauvais mais c tj general!! bref il vous manque des cours sur:
+Model Checking
+Equivalence Checking
+ROBDD
+Theorem Proving
ces 4 parties sont liées pour une bonne formation.
et biensur les outil qui vont avec!!! mais c bien que on commence a donné des cour sur ce domaine.

bon travail.

_________________
Le premier système moderne embarqué reconnaissable a été le système de guidage de la mission lunaire Apollo, de nos jours, plus que 20 systemes embarqué par foyé!!!
"Embadded Systems is too near of us" Charles Stark Draper -- Godfather of Embadded System.
avatar
unknown
Modérateur
Modérateur

Masculin Nombre de messages : 851
Age : 35
Section et Année : Ex-FSTien, Master ISE INSAT
Localisation : Hr Access
Date d'inscription : 15/10/2005

Voir le profil de l'utilisateur http://www.serieusam.fr/comming_soon.php

Revenir en haut Aller en bas

Re: Cours modelchecking

Message par guevara le Sam 26 Avr - 12:37

chere modero , les regle dans ce forum sont plus nombreuse que les forumiens , c'est un coin pour parler et discuter , alors peut importe le langage l'essentiel c'est le respect.
Mrs serieusam , la majorité dont je fait partie,ont choisi cet option pour la simple raison que le cours ne pas chargé et l'exament sont plus ou moin à la porté.
Alors tous "upgrade" de cours n'est pas le bien venu
avatar
guevara
VIP
VIP

Masculin Nombre de messages : 645
Age : 35
Section et Année : i4 w rabi yssahel fi 5edma
Date d'inscription : 29/11/2006

Voir le profil de l'utilisateur

Revenir en haut Aller en bas

Re: Cours modelchecking

Message par unknown le Sam 26 Avr - 12:59

guevara a écrit:chere modero , les regle dans ce forum sont plus nombreuse que les forumiens , c'est un coin pour parler et discuter , alors peut importe le langage l'essentiel c'est le respect.
Mrs serieusam , la majorité dont je fait partie,ont choisi cet option pour la simple raison que le cours ne pas chargé et l'exament sont plus ou moin à la porté.
Alors tous "upgrade" de cours n'est pas le bien venu

lol ok bon courage et bon travail, mais ma vision a bcp changé depuis que je suis sorti de la fac et j'ai commencé mon mastere, et je ne m'interresse plus si l'exam est a la porté ou non ou a un cour pas chargé ou non, en faite je pense tj a faire une bonne formation et une belle connaissence qui elargie mon domaine et me permettre de voir de nouvelles techniques et meme contribué au avancement des choses, bref je suppose que le cour contien 30 ou 26 heurs meme timing que mon cour d'aproche formelles et techniques de teste l'année dereniere et qui non a permit de voir 4 fois plus que vous en 3 semaines avec le Professeur T.Soufien venu specialement de Canada pour nous enseigner... bref je suis d'accord avec toi si tu pense a la note mais pense a ne pas resté tj comme ça!!!

_________________
Le premier système moderne embarqué reconnaissable a été le système de guidage de la mission lunaire Apollo, de nos jours, plus que 20 systemes embarqué par foyé!!!
"Embadded Systems is too near of us" Charles Stark Draper -- Godfather of Embadded System.
avatar
unknown
Modérateur
Modérateur

Masculin Nombre de messages : 851
Age : 35
Section et Année : Ex-FSTien, Master ISE INSAT
Localisation : Hr Access
Date d'inscription : 15/10/2005

Voir le profil de l'utilisateur http://www.serieusam.fr/comming_soon.php

Revenir en haut Aller en bas

Re: Cours modelchecking

Message par guevara le Sam 26 Avr - 13:57

et je ne m'interresse plus si l'exam est a la porté ou non ou a un cour pas chargé ou non, en faite je pense tj a faire une bonne formation et une belle connaissence qui elargie mon domaine et me permettre de voir de nouvelles techniques et meme contribué au avancement des choses

 t'a raison , mais il faut savoir qu'un etudiant de mastere est un etudiant chercheur , alors qu'il s'interesse au formation est une obligation , croyer moi , s'ils m'accepte au mastere je veut completement changer.
avatar
guevara
VIP
VIP

Masculin Nombre de messages : 645
Age : 35
Section et Année : i4 w rabi yssahel fi 5edma
Date d'inscription : 29/11/2006

Voir le profil de l'utilisateur

Revenir en haut Aller en bas

Re: Cours modelchecking

Message par unknown le Sam 26 Avr - 16:55

ok mon ami je t'epole nchala

_________________
Le premier système moderne embarqué reconnaissable a été le système de guidage de la mission lunaire Apollo, de nos jours, plus que 20 systemes embarqué par foyé!!!
"Embadded Systems is too near of us" Charles Stark Draper -- Godfather of Embadded System.
avatar
unknown
Modérateur
Modérateur

Masculin Nombre de messages : 851
Age : 35
Section et Année : Ex-FSTien, Master ISE INSAT
Localisation : Hr Access
Date d'inscription : 15/10/2005

Voir le profil de l'utilisateur http://www.serieusam.fr/comming_soon.php

Revenir en haut Aller en bas

Re: Cours modelchecking

Message par ahlem le Mar 29 Avr - 6:05

guevara a écrit:chere modero , les regle dans ce forum sont plus nombreuse que les forumiens , c'est un coin pour parler et discuter , alors peut importe le langage l'essentiel c'est le respect.
Mrs serieusam , la majorité dont je fait partie,ont choisi cet option pour la simple raison que le cours ne pas chargé et l'exament sont plus ou moin à la porté.
Alors tous "upgrade" de cours n'est pas le bien venu
je veux pas t'abaisser le moral amma il faut pas s'attendre à ce que cette matière soit ta matière source de note!!! parole d'une connaisseure en la matière naughty
avatar
ahlem
Miss forum
Miss forum

Féminin Nombre de messages : 783
Age : 36
Section et Année : PES d'informatique
Localisation : collège Ibn Chabbat Tozeur
Date d'inscription : 25/10/2006

Voir le profil de l'utilisateur

Revenir en haut Aller en bas

Re: Cours modelchecking

Message par guevara le Mar 29 Avr - 8:48

ce que est sur ahlem que la note de cette matiere est superieurcout qui cout à celle de programmation
avatar
guevara
VIP
VIP

Masculin Nombre de messages : 645
Age : 35
Section et Année : i4 w rabi yssahel fi 5edma
Date d'inscription : 29/11/2006

Voir le profil de l'utilisateur

Revenir en haut Aller en bas

Re: Cours modelchecking

Message par ahlem le Mer 30 Avr - 1:07

guevara a écrit:ce que est sur ahlem que la note de cette matiere est superieurcout qui cout à celle de programmation
je l'éspère du fond de mon coeur pour toi et pour les autres, amma 3amnawel les notes étaient catastrophiques et présque 5 étudiants seulement sallkouha
balekchi essna la prof va être plus indulgeante!!! éspérons ça
avatar
ahlem
Miss forum
Miss forum

Féminin Nombre de messages : 783
Age : 36
Section et Année : PES d'informatique
Localisation : collège Ibn Chabbat Tozeur
Date d'inscription : 25/10/2006

Voir le profil de l'utilisateur

Revenir en haut Aller en bas

Re: Cours modelchecking

Message par guevara le Mer 30 Avr - 15:25

ahlem a écrit:
je l'éspère du fond de mon coeur pour toi et pour les autres, amma 3amnawel les notes étaient catastrophiques et présque 5 étudiants seulement sallkouha

voila des mauvaise nouvelle ,en tous cas j'ai choisit et je doit assumer la total responsabilité , rabi yoster .
avatar
guevara
VIP
VIP

Masculin Nombre de messages : 645
Age : 35
Section et Année : i4 w rabi yssahel fi 5edma
Date d'inscription : 29/11/2006

Voir le profil de l'utilisateur

Revenir en haut Aller en bas

Re: Cours modelchecking

Message par wama le Mer 30 Avr - 15:36

non je pense pas ke l'année derniéres y a eu des notes catostrophiques chwi sur qu'il y a eu des belles notes en faite madame Leila elle meme a nous informé bounce de ca chwi sur ke inchallah bich insalkouha b9odrit rabi et en plus elle n'a rien fait tout au long de cette semestre ( 2 chapitres)
avatar
wama
habitué(e)
habitué(e)

Masculin Nombre de messages : 63
Age : 33
Section et Année : I4
Localisation : la_bas
Date d'inscription : 10/10/2006

Voir le profil de l'utilisateur

Revenir en haut Aller en bas

Re: Cours modelchecking

Message par ahlem le Ven 2 Mai - 1:03

guevara a écrit:
ahlem a écrit:
je l'éspère du fond de mon coeur pour toi et pour les autres, amma 3amnawel les notes étaient catastrophiques et présque 5 étudiants seulement sallkouha

voila des mauvaise nouvelle ,en tous cas j'ai choisit et je doit assumer la total responsabilité , rabi yoster .
khouya guevara, je voulais pas te démoraliser, g juste voulu que tu travaille mieux cette matière mouch t5alliha lellekher en disant que c'est une matière fastoche et source de note
(amma ya wama je suis sure de quoi je parlais car j'avais pris cette option 3amnawel et on était 4 à l'avoir ce module et je les connais en personne)
bonne courage à tout le monde
avatar
ahlem
Miss forum
Miss forum

Féminin Nombre de messages : 783
Age : 36
Section et Année : PES d'informatique
Localisation : collège Ibn Chabbat Tozeur
Date d'inscription : 25/10/2006

Voir le profil de l'utilisateur

Revenir en haut Aller en bas

Re: Cours modelchecking

Message par Contenu sponsorisé


Contenu sponsorisé


Revenir en haut Aller en bas

Revenir en haut

- Sujets similaires

 
Permission de ce forum:
Vous ne pouvez pas répondre aux sujets dans ce forum