IDR Home
→
2. Ph.D Theses of IIT Kharagpur
→
Computer Science & Engineering
→
Formal Analysis of Heterogeneous Embedded Systems using Tagged Signal Model

Formal Analysis of Heterogeneous Embedded Systems using Tagged Signal Model

Browse by

By Issue Date
Authors
Titles
Subjects

Author : Soumyajit Dey
Supervisor : Prof. Anupam Basu and Prof. Dipankar Sarkar
Department of Computer Science and Engineering INDIAN INSTITUTE OF TECHNOLOGY KHARAGPUR August 2011

Recent Submissions

Formal Analysis of Heterogeneous Embedded Systems using Tagged Signal Model

Dey, Soumyajit (IIT Kharagpur, 2011-08)

Search DSpace

Advanced Search

Browse

All of DSpace
This Collection
- By Issue Date
- Authors
- Titles
- Subjects

My Account

Discover

Author
- Dey, Soumyajit (1)
Subject
- Embedded Systems (1)
- ... View More
Date Issued
- 2011 (1)
Has File(s)
- Yes (1)

RSS Feeds

RSS 1.0
RSS 2.0
Atom

Formal Analysis of Heterogeneous Embedded Systems using Tagged Signal Model

Formal Analysis of Heterogeneous Embedded Systems using Tagged Signal Model

Browse by

Recent Submissions

Search DSpace

Browse

All of DSpace

This Collection

My Account

Discover

Author

Subject

Date Issued

Has File(s)

RSS Feeds