Verimag

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},
}

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 895480