bibtex

@article{AGS02,
    title = {Scheduler modelling based on the controller synthesis paradigm },
    author = {Altisen, Karine and Goessler, Gregor and Sifakis, Joseph},
    year = {2002},
    note = {special issue on control-theoritical approaches to real-time computing},
    journal = {Journal of Real-Time Systems},
    number = {23},
    pages = {55--84},
    team = {TEMPO},
}


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4121953