Normal view
MARC view
Computational Science and Engineering (Corporate Name)
Machine generated authority record.
Work cat.: (NUST): Fauzia Ehsan 5947, MS Thesis: Probabilistic Formal Modeling And Verification of Real Time Task Scheduling On Multiprocessor, C,2017.