Cours modelchecking

C'est un cours de Madame Leila
http://www3.partage-facile.com/1023956-Cours_modelchecking.ppt.html

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

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

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.

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

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!!!

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.

ok mon ami je t'epole nchala

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

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

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

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 .

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é 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)

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