MODELING AND VERIFICATION OF REAL-TIME AND HYBRID SYSTEMS

dc.contributor.author	Rahim, Muhammad Abdul Basit Ur
dc.date.accessioned	2018-04-06T04:19:27Z
dc.date.accessioned	2020-04-11T15:33:47Z
dc.date.available	2020-04-11T15:33:47Z
dc.date.issued	2017
dc.identifier.uri	http://142.54.178.187:9060/xmlui/handle/123456789/4912
dc.description.abstract	N/A	en_US
dc.description.sponsorship	Higher Education Commission, Pakistan	en_US
dc.language.iso	en	en_US
dc.publisher	National University of Science & Technology	en_US
dc.subject	Computer science, information & general works	en_US
dc.title	MODELING AND VERIFICATION OF REAL-TIME AND HYBRID SYSTEMS	en_US
dc.type	Thesis	en_US