Global Sources
EE Times-India
News
Products
Tech Articles
App Notes
 Forum  Blogs  White Papers  Webinars  eeUniversity
EE Times-India > Advanced Search > model checking

model checking Search results

 
 
total search4 articles sort by relevance sort by date
2008-05-01 Software offers automated model-checking
Software offers automated model-checking
2004-03-01 Get to know Model Checking
Get to know Model Checking
2001-06-01 Formal verification of an MPEG decoder chip
This article outlines the application of formal verification through model checking of the control unit in a DVD decoder chip.
2005-02-16 An introduction to model checking
An introduction to model checking
Most Popular Articles
  • Nokia brings on two Windows phones
  • Sony takes over handset biz from Ericsson JV
  • ARM-based tablets continue to reign
  • Intel's struggles outside the PC domain
  • ARM scales to 64bit architecture
  • Imec, partners aim for organic PV tech
  • e-cars look to gain perfect sound experience
  • Researchers study graphene photodetectors
  • Wearable energy storage devices power garments
  • Smartphone app packed car infotainment booms
    • Search EE Times India
    Max's Cool Beans

    Clive Maxfield Strange modes of transport and other "stuff"

    Someone just pointed me at a YouTube video that claims to show the world's first e-powered multicopter flight...

     

    Go to top             Connect on Facebook      Follow us on Twitter      Follow us on Orkut