1. DSpace at My University
  2. Engineering and Technology
  3. Thesis
Please use this identifier to cite or link to this item: http://localhost:80/xmlui/handle/123456789/4912
Title: MODELING AND VERIFICATION OF REAL-TIME AND HYBRID SYSTEMS
Authors: Rahim, Muhammad Abdul Basit Ur
Keywords: Computer science, information & general works
Issue Date: 2017
Publisher: National University of Science & Technology
Abstract: N/A
URI: http://142.54.178.187:9060/xmlui/handle/123456789/4912
Appears in Collections:Thesis

Files in This Item:
File Description SizeFormat 
8235.htm128 BHTMLView/Open
Show full item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.