Scheduling analysis based on model checking for multiprocessor real-time systems
Karamti, Walid, Mahfoudhi, AdelVolume:
68
Language:
english
Journal:
The Journal of Supercomputing
DOI:
10.1007/s11227-014-1127-8
Date:
June, 2014
File:
PDF, 749 KB
english, 2014