| ²é¿´: 669 | »Ø¸´: 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Õâ¸ö³ÆºÅÁË |
» ²ÂÄãϲ»¶
É격26Äê
ÒѾÓÐ4È˻ظ´
307Çóµ÷¼Á
ÒѾÓÐ5È˻ظ´
Ò»Ö¾Ô¸C9²ÄÁÏÓ뻯¹¤×¨Òµ×Ü·Ö300Çóµ÷¼Á
ÒѾÓÐ5È˻ظ´
274Çóµ÷¼Á
ÒѾÓÐ3È˻ظ´
299Çóµ÷¼Á
ÒѾÓÐ7È˻ظ´
0703»¯Ñ§µ÷¼Á£¬Çóµ¼Ê¦ÊÕ
ÒѾÓÐ4È˻ظ´
300Çóµ÷¼Á£¬²ÄÁÏ¿ÆÑ§Ó¢Ò»Êý¶þ
ÒѾÓÐ3È˻ظ´
²ÄÁÏѧ˶£¬Çóµ÷¼Á
ÒѾÓÐ6È˻ظ´
307Çóµ÷¼Á
ÒѾÓÐ6È˻ظ´
²ÄÁÏר˶331Çóµ÷¼Á
ÒѾÓÐ3È˻ظ´
» ±¾Ö÷ÌâÏà¹Ø¼ÛÖµÌùÍÆ¼ö£¬¶ÔÄúͬÑùÓаïÖú:
¹«²¼Ò»¸öÒѾ֤ʵµÄÆ×Ó»áÒ飺ceabm2011ºÍceabm2012 Çë³æÓÑСÐÄ£¡
ÒѾÓÐ52È˻ظ´
FAMET 2012+ICFMM2011 Á½»áÒé,
ÒѾÓÐ4È˻ظ´
ÏÃÃÅacai2012ÍÆ¼öµ½JNN£¬Í¨¹ý»áÒéÍÆ¼öµ½SCI\EIÆÚ¿¯£¬¿¿Æ×²»£¿
ÒѾÓÐ21È˻ظ´
ÇëÎÊICICT 2012Õâ¸ö»áÒé¿¿Æ×Âð£¿
ÒѾÓÐ12È˻ظ´
ringlord
½ð³æ (ÕýʽдÊÖ)
- Ó¦Öú: 0 (Ó×¶ùÔ°)
- ½ð±Ò: 4524.6
- É¢½ð: 175
- ºì»¨: 1
- Ìû×Ó: 422
- ÔÚÏß: 116.2Сʱ
- ³æºÅ: 837915
- ×¢²á: 2009-09-01
- רҵ: ¼ÆËã»úÈí¼þ
8Â¥2012-04-05 18:34:55
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













»Ø¸´´ËÂ¥
ËÍÏÊ»¨Ò»¶ä