{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:01:28Z","timestamp":1725570088914},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1109\/nabic.2009.5393634","type":"proceedings-article","created":{"date-parts":[[2010,1,26]],"date-time":"2010-01-26T17:36:43Z","timestamp":1264527403000},"page":"1636-1640","source":"Crossref","is-referenced-by-count":0,"title":["Design methodology internal sub state observer using CPLD"],"prefix":"10.1109","author":[{"given":"Joydeb","family":"RoyChoudhury","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tribeni Prasad","family":"Banerjee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aniket","family":"Nathvani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rangeen Basu Roy","family":"Chowdhury","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. K","family":"Bhattacharya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","author":"mall","journal-title":"Real time systems Theory and practice","key":"ref10"},{"year":"0","author":"lunze","journal-title":"Diagnosis of discrete event system described by timed automata","key":"ref11"},{"year":"0","author":"abazi","journal-title":"Diagnosis of discrete event systems using timed automata","key":"ref12"},{"key":"ref13","article-title":"A desigh Methodology of a faultaware controller Design","author":"roychoudhury","year":"0","journal-title":"IEEE Proceedings of Computer Society (to be apper in IEEE Explore)"},{"year":"0","author":"verwer","journal-title":"Efficiently Learning Simple Timed Automata","key":"ref4"},{"year":"2003","author":"bouyer","journal-title":"Timed Automata-From Theory to Implementation","key":"ref3"},{"year":"0","author":"pedroni","journal-title":"Circuit Design With VHDL","key":"ref6"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref8","first-page":"7132","author":"singh","year":"0","journal-title":"Sewing machine for decoratively stitching a cricket ball"},{"year":"0","author":"guerrouat","journal-title":"A Formal Approach for Analysis and Testing of Reliable Embedded Systems","key":"ref7"},{"year":"2004","author":"bengtsson","journal-title":"Timed Automata Semantics Algorithms And Tools","key":"ref2"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1016\/j.compind.2006.02.017"},{"year":"0","journal-title":"Reader's Manual SLS ELT II toolkit","key":"ref9"}],"event":{"name":"2009 World Congress on Nature & Biologically Inspired Computing (NaBIC)","start":{"date-parts":[[2009,12,9]]},"location":"Coimbatore, India","end":{"date-parts":[[2009,12,11]]}},"container-title":["2009 World Congress on Nature & Biologically Inspired Computing (NaBIC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5377996\/5393306\/05393634.pdf?arnumber=5393634","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,19]],"date-time":"2017-03-19T03:48:25Z","timestamp":1489895305000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5393634\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/nabic.2009.5393634","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}