IDR Home
→
2. Ph.D Theses of IIT Kharagpur
→
Computer Science & Engineering
→
Formal Verification of Behavioural Transformations during Embedded System Design

Formal Verification of Behavioural Transformations during Embedded System Design

Browse by

By Issue Date
Authors
Titles
Subjects

Author : Chandan Karfa
Guide : Dr. Chittaranjan Mandal and Dr. Dipankar Sarkar
Department of Computer Science and Engineering, Indian Institute of Technology, Kharagpur
June 2012

Recent Submissions

Formal Verification of Behavioural Transformations during Embedded System Design

Karfa, Chandan (IIT Kharagpur, 2012-06)

Search DSpace

Advanced Search

Browse

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

My Account

Discover

Author
- Karfa, Chandan (1)
Subject
- Embedded System (1)
- ... View More
Date Issued
- 2012 (1)
Has File(s)
- Yes (1)

RSS Feeds

RSS 1.0
RSS 2.0
Atom

Formal Verification of Behavioural Transformations during Embedded System Design

Formal Verification of Behavioural Transformations during Embedded System Design

Browse by

Recent Submissions

Search DSpace

Browse

All of DSpace

This Collection

My Account

Discover

Author

Subject

Date Issued

Has File(s)

RSS Feeds