news

    imprimer

Thesis
Presentation: Bartosz Grabiec
Title: Supervision of distributed systems using constrained unfoldings of timed models
Date and place: 4th october 2011, 14 pm , l'ENS Cachan Ker-Lann.
Consult: pdf

 


 

 

    Actualites

    puce GenOuest : 9th meeting on october 18, 2011
    The application of ontologies in Biologie and Bioinformatics.
    Métivier room
    Read more >>

    Evenements

    puce Thesis : Bartosz Grabiec
    Supervision of distributed systems using constrained unfoldings of timed models
    4th october 2011, 14 pm , l'ENS Cachan Ker-Lann.
    Read more >>

     

     

    logo Rennes1logo cnrslogo insalogo ens-cachan