| ²é¿´: 656 | »Ø¸´: 7 | ||
| µ±Ç°Ö»ÏÔʾÂú×ãÖ¸¶¨Ìõ¼þµÄ»ØÌû£¬µã»÷ÕâÀï²é¿´±¾»°ÌâµÄËùÓлØÌû | ||
ringlord½ð³æ (ÕýʽдÊÖ)
|
[ÇóÖú]
Çë½ÌÕâ¸ö»áÒéSEFM 2012
|
|
|
Õâ¸ö»áÒéÈçºÎ£¬ÊÇʲô¼ìË÷°¡£¬Ö÷Ò³ÉÏûд£¬¾Íд×Åproceedings½«will be published in the Springer Lecture Notes in Computer Science series. ÍøÉϲ鵽ÊÇ07ÄêµÄÊÇ: 5th IEEE International Conference on Software Engineering and Formal Methods ÏÖÔÚ¶¼Ã»ÓÐIEEEÕâ¸ö³ÆºÅÁË |
» ²ÂÄãϲ»¶
Çóµ÷¼Á
ÒѾÓÐ3È˻ظ´
ÉúÎïѧѧ˶Çóµ÷¼Á
ÒѾÓÐ5È˻ظ´
284Çóµ÷¼Á
ÒѾÓÐ10È˻ظ´
һ־Ըɽ¶«´óѧҩѧѧ˶Çóµ÷¼Á
ÒѾÓÐ4È˻ظ´
07»¯Ñ§280·ÖÇóµ÷¼Á
ÒѾÓÐ4È˻ظ´
298-Ò»Ö¾Ô¸Öйúũҵ´óѧ-Çóµ÷¼Á
ÒѾÓÐ12È˻ظ´
Çó²ÄÁÏ£¬»·¾³×¨Òµµ÷¼Á
ÒѾÓÐ3È˻ظ´
335Çóµ÷¼Á
ÒѾÓÐ5È˻ظ´
Çóµ÷¼Á
ÒѾÓÐ7È˻ظ´
Ò»Ö¾Ô¸¼ª´ó»¯Ñ§322Çóµ÷¼Á
ÒѾÓÐ4È˻ظ´
» ±¾Ö÷ÌâÏà¹Ø¼ÛÖµÌùÍÆ¼ö£¬¶ÔÄúͬÑùÓаïÖú:
¹«²¼Ò»¸öÒѾ֤ʵµÄÆ×Ó»áÒ飺ceabm2011ºÍceabm2012 Çë³æÓÑСÐÄ£¡
ÒѾÓÐ52È˻ظ´
FAMET 2012+ICFMM2011 Á½»áÒé,
ÒѾÓÐ4È˻ظ´
ÏÃÃÅacai2012ÍÆ¼öµ½JNN£¬Í¨¹ý»áÒéÍÆ¼öµ½SCI\EIÆÚ¿¯£¬¿¿Æ×²»£¿
ÒѾÓÐ21È˻ظ´
ÇëÎÊICICT 2012Õâ¸ö»áÒé¿¿Æ×Âð£¿
ÒѾÓÐ12È˻ظ´
zjg_robin
ľ³æ (ÖøÃûдÊÖ)
- Ó¦Öú: 9 (Ó×¶ùÔ°)
- ½ð±Ò: 6254.6
- É¢½ð: 43
- ºì»¨: 3
- Ìû×Ó: 1111
- ÔÚÏß: 233.7Сʱ
- ³æºÅ: 494551
- ×¢²á: 2008-01-14
- ÐÔ±ð: GG
- רҵ: ¼ÆËã»úÓ¦Óü¼Êõ
7Â¥2012-04-04 21:52:32
zjg_robin
ľ³æ (ÖøÃûдÊÖ)
- Ó¦Öú: 9 (Ó×¶ùÔ°)
- ½ð±Ò: 6254.6
- É¢½ð: 43
- ºì»¨: 3
- Ìû×Ó: 1111
- ÔÚÏß: 233.7Сʱ
- ³æºÅ: 494551
- ×¢²á: 2008-01-14
- ÐÔ±ð: GG
- רҵ: ¼ÆËã»úÓ¦Óü¼Êõ
2Â¥2012-04-03 10:21:02
ringlord
½ð³æ (ÕýʽдÊÖ)
- Ó¦Öú: 0 (Ó×¶ùÔ°)
- ½ð±Ò: 4524.6
- É¢½ð: 175
- ºì»¨: 1
- Ìû×Ó: 422
- ÔÚÏß: 116.2Сʱ
- ³æºÅ: 837915
- ×¢²á: 2009-09-01
- רҵ: ¼ÆËã»úÈí¼þ
|
лл½â´ð£¬Ôõô»áÒéµÄÖ÷Ò³ÉÏûÓÐдʲô¼ìË÷ÄØ£¬¶øÇÒºÃÆæ¹Ö°¡http://sefm2012.city.academic.gr/html/scope.html Ͷ¸åϵͳÔõôÕÒ²»µ½£¬Ä£°åÒ²ÕÒ²»µ½ |
3Â¥2012-04-03 21:48:55
zjg_robin
ľ³æ (ÖøÃûдÊÖ)
- Ó¦Öú: 9 (Ó×¶ùÔ°)
- ½ð±Ò: 6254.6
- É¢½ð: 43
- ºì»¨: 3
- Ìû×Ó: 1111
- ÔÚÏß: 233.7Сʱ
- ³æºÅ: 494551
- ×¢²á: 2008-01-14
- ÐÔ±ð: GG
- רҵ: ¼ÆËã»úÓ¦Óü¼Êõ
4Â¥2012-04-04 08:58:30













»Ø¸´´ËÂ¥
ringlord