
Code Generation for Verified Model based Embedded Systems
Author(s) -
Pravin Y Karmore,
Pradeep K Butey
Publication year - 2016
Publication title -
international journal of engineering research and technology
Language(s) - Uncategorized
Resource type - Journals
ISSN - 2278-0181
DOI - 10.17577/ijertv5is060316
Subject(s) - computer science , programming language , code (set theory) , code generation , parallel computing , operating system , set (abstract data type) , key (lock)