![](/img/cover-not-exists.png)
[IEEE 2010 5th International Conference on Industrial and Information Systems (ICIIS) - Mangalore, India (2010.07.29-2010.08.1)] 2010 5th International Conference on Industrial and Information Systems - Exact schedulability analysis of global multi-processor IUF scheduling using symbolic model checking
Alok Lele,, Ajith Kumar,, Rohith, H.M., Sanjay Singh,Year:
2010
Language:
english
DOI:
10.1109/iciinfs.2010.5578694
File:
PDF, 1.34 MB
english, 2010