المؤلفون: Wijs, A.J., Pol, van de, J.C., Bortnik, E., Margaria, T., Massink, M.

المساهمون: Computational Biology

المصدر: International journal on software tools for technology transfer, 11(5):10.1007/s10009-009-0110-9, 375-392. Springer
Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'05, Lisbon, Portugal, September 5-6, 2005), 54-61
STARTPAGE=54;ENDPAGE=61;TITLE=Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'05, Lisbon, Portugal, September 5-6, 2005)
International Journal on Software Tools for Technology Transfer, 11(5):375, 375-392. Springer
Scopus-Elsevier

مصطلحات موضوعية: Rate-monotonic scheduling, Model checking, Theoretical computer science, Computer science, Scheduling, Process calculus, Analyser, EWI-15882, METIS-263973, Dynamic priority scheduling, Specification language, FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS, Round-robin scheduling, FMT-MC: MODEL CHECKING, Fair-share scheduling, Scheduling (computing), Distributed algorithm, Two-level scheduling, Beam search, Batch production, IR-67846, Algorithm, Software, Information Systems

وصف الملف: application/pdf; application/octet-stream

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::89f3994c3aa07b816af330b0de92219c
https://research.utwente.nl/en/publications/d4714940-b5b0-49f1-8b7a-3de7e57d5b98