Formal Analysis of Heterogeneous Embedded Systems using Tagged Signal Model

dc.contributor.author	Dey, Soumyajit
dc.date.accessioned	2012-03-19T05:33:12Z
dc.date.available	2012-03-19T05:33:12Z
dc.date.issued	2011-08
dc.identifier.govdoc	NB14537
dc.identifier.uri	http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/1394
dc.language.iso	en	en
dc.publisher	IIT Kharagpur	en
dc.subject	Embedded Systems	en
dc.title	Formal Analysis of Heterogeneous Embedded Systems using Tagged Signal Model	en
dc.type	Thesis	en