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

Browsing Formal Verification of Behavioural Transformations during Embedded System Design by Subject "Embedded System"

Now showing items 1-1 of 1

Formal Verification of Behavioural Transformations during Embedded System Design

Karfa, Chandan (IIT Kharagpur, 2012-06)

Now showing items 1-1 of 1

Search DSpace

Advanced Search

Browse

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

My Account

Login