Search

Join us now

You can create your own research profile, claim your publications, connect with other researchers and share millions of research resources. and enjoy our great features for free.

Sign Up Now

Related Events by Keyword

The list of events related to hardware and software design .
  • 10th International Symposium on Automated Technology for Verification and Analysis
    Location: Thiruvananthapuram (Trivandrum), India ,Thiruvananthapuram (Trivandrum)
    Date: Wednesday, 3/10/2012 to Saturday, 6/10/2012

    Description: 10th International Symposium on Automated Technology for Verification and Analysis (ATVA 2012) October 3-6, 2012 Thiruvananthapuram (Trivandrum), India http://www.iarcs.org.in/atva2012/ The ATVA series of symposia is intended to promote research in theoretical and practical aspects of automated analysis, verification and synthesis in East Asia by providing a forum for interaction between the regional and international research communities and industry in the field. The previous nine editions of the symposium were held in Taiwan (2003, 2004, 2005), Beijing (2006), Tokyo (2007), Seoul (2008), Macao (2009), Singapore (2010) and Taipei (2011). ATVA 2012 will be held in the picturesque campus of Tata Consultancy ...

    Keywords: formal verification, formal methods, analysis of systems, hardware and software design