| 查看: 217 | 回复: 0 | |||
| 当前主题已经存档。 | |||
wpq113
|
[交流]
【2009-05-01】2009 ATVA（LNCS)(中国澳门）
|
||
|
【2009.5.1】2009 ATVA（LNCS)(中国澳门） http://www.iist.unu.edu/atva09/index.html 7th International Symposium on Automated Technology for Verification and Analysis 14-16 October 2009, Macao SAR, China IMPORTANT DATES Paper submission: 1 May 2009 Notification of acceptance: 15 June 2009 Final copy for proceedings: 29 June 2009 Symposium: 14-16 October 2009 AIMS AND OBJECTIVES The purpose of ATVA is to promote research on theoretical and practical aspects of automated analysis, verification and synthesis in East Asia by providing a forum for interaction between the regional and the international research communities and industry in the field. The previous six events were held in Taiwan (2003-5), Beijing (2006), Tokyo (2007) and Seoul (2008). The proceedings of ATVA 2009 will be published by Springer as a volume in the LNCS series. SCOPE AND TOPICS The scope of interest is intentionally kept broad; it includes: Theory useful for providing designers with automated support for obtaining correct software or hardware systems, including both functional and non functional aspects, such as: theory of (timed and hybrid) automata, process calculi, Petri-nets, concurrency [ Last edited by 努力着 on 2009-4-17 at 02:36 ] |
回复此楼» 猜你喜欢
售一区SCI文章T0P，我:8O.551.O54,科目全,可十急
已经有12人回复
-
售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急
已经有14人回复
-
售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急
已经有16人回复
-
售SCI一区T0P文章，我:8O.55.1.O.54,科目全,可伽急
已经有10人回复
-
售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急
已经有9人回复
-
售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急
已经有8人回复
-
售SCI一区T0P文章，我:8O.55.1.O.5.4,科目齐全,可+急
已经有8人回复
-
售SCI一区T0P文章，我:8O.55.1.O.5.4,科目齐全,可+急
已经有8人回复
-
售一区SCI文章T0P，我:8O.551.O54,科目全,可十急
已经有8人回复
-
售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急
已经有11人回复