MS Thesis: Probabilistic Formal Modeling And Verification of Real Time Task Scheduling On Multiprocessor Ehsan Fauzia

By: Fauzia EhsanMaterial type: TextTextPublisher: Islamabad RCMS NUST C,2017Description: x,109,p: ill: 30,cmSubject(s): -- Computational Science and EngineeringDDC classification: 621.001 FAU
Tags from this library: No tags from this library for this title. Log in to add tags.

Shelf No 7 Row No 3

There are no comments on this title.

to post a comment.
© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.