Startseite > Publikationen > Publikationen

Publikationen

Oberthür, Simon;Lichte, Hermann-Simon:

Schedulability criteria and analysis for dynamic and flexible resource management.

In: Proceedings of the DASMOD Workshop on Formal Verification of Adaptive Systems, 2007

Bibtex

@inproceedings{hniid=2979,
author = {Oberth{\"u}r, Simon and Lichte, Hermann-Simon},
title = {Schedulability criteria and analysis for dynamic and flexible resource management},
booktitle = {Proceedings of the DASMOD Workshop on Formal Verification of Adaptive Systems},
year = {2007},
}

BibTeX in die Zwischenablage kopieren

Permalink

https://www.hni.uni-paderborn.de/pub/2979