Znn3bq.jpeg
²é¿´: 2327  |  »Ø¸´: 8
µ±Ç°Ö»ÏÔʾÂú×ãÖ¸¶¨Ìõ¼þµÄ»ØÌû£¬µã»÷ÕâÀï²é¿´±¾»°ÌâµÄËùÓлØÌû

zhongzi_1986

гæ (³õÈëÎÄ̳)

[ÇóÖú] ÐÎʽ»¯·½·¨Í¶ÄĸöSCIÆÚ¿¯ºÃ£¿

¸÷λ´ïÈË£¬
      Ð¡µÜÒ»ÐÂÈË£¬×î½üдÁËһƪÐÎʽ»¯·½·¨µÄÂÛÎÄ£¬¹ØÓÚStatechartsµÄ£¬Ö÷ÒªÔÚ»ù±¾µÄStatechartsµÄ»ù´¡ÉÏÌá³öÁËһЩ¸Ä½ø£¬²¢¸ø³öÁËmodel checkingµÄ·½·¨£¬²»ÖªµÀ¸ÃͶÄÄÀï±È½ÏºÃ¡£ÒòΪҳÊý½Ï³¤£¬ÀϰåÏ£ÍûÎÒÖ±½ÓͶSCI»òÕßSCIEµÄÆÚ¿¯£¬´ó¼ÒÓÐûÓÐÍÆ¼öµÄ£¬Â¼ÓÃÂʸߵãµÄ£¬ÖÜÆÚ¶ÌµãµÄ¼´¿É£¬ÎªÁ˱ÏÒµ¡£ÓÉÓÚСµÜÐÂÈË£¬ËùÒÔҲûÓжàÉÙ½ð±Ò£¬Ï£Íû´ó¼Ò¸øÓèÖ¸µ¼¡£
»Ø¸´´ËÂ¥

» ÊÕ¼±¾ÌûµÄÌÔÌûר¼­ÍƼö

FormalMethods

» ²ÂÄãϲ»¶

» ±¾Ö÷ÌâÏà¹Ø¼ÛÖµÌùÍÆ¼ö£¬¶ÔÄúͬÑùÓаïÖú:

±ÏÒµ±ÏÒµ
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû

hls85915

ÈÙÓþ°æÖ÷ (ÎÄ̳¾«Ó¢)

¿ÆÑй¤¾ß°æ¡ª¡ªÉ³Ä®Ö®ºú

ÓÅÐã°æÖ÷ÓÅÐã°æÖ÷

¡¾´ð°¸¡¿Ó¦Öú»ØÌû

¸Ðл²ÎÓ룬ӦÖúÖ¸Êý +1
JOURNAL OF SYSTEMS AND SOFTWARE  
JOURNAL OF SYSTEMS ENGINEERING AND ELECTRONICS
¹þ¹þ
7Â¥2012-05-22 21:58:51
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû
²é¿´È«²¿ 9 ¸ö»Ø´ð

zhongzi_1986

гæ (³õÈëÎÄ̳)

Õâ·½Ãæ±È½ÏÄÑ·¢ÂÛÎÄ£¬ËùÒÔÎÒ¾Í×¼±¸¿´ÕâÆªÎÄÕÂÁË£¬²»Ðеϰ¾Í²»×¼±¸¶Á²©ÁË£¬×¼±¸Ë¶Ê¿±ÏÒµÁË¡£Ï£Íû´ó¼ÒÄܸøµãÒâ¼û
±ÏÒµ±ÏÒµ
3Â¥2012-05-22 21:26:30
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû

zhongzi_1986

гæ (³õÈëÎÄ̳)

ÒýÓûØÌû:
2Â¥: Originally posted by Haolan at 2012-05-22 21:26:25:

Ī·ÇÊÇͬµÀÖÐÈË£¿
±ÏÒµ±ÏÒµ
4Â¥2012-05-22 21:26:54
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû

Haolan

Ìú³æ (СÓÐÃûÆø)

¡¾´ð°¸¡¿Ó¦Öú»ØÌû

¡ï
¸Ðл²ÎÓ룬ӦÖúÖ¸Êý +1
ÇïÌì°×ÔÆ: ½ð±Ò+1, ¸Ðл½»Á÷£¡ 2012-05-22 21:50:49
¡¶Journal of System Science and System Engineering¡·
ResearchFan
5Â¥2012-05-22 21:32:03
ÒÑÔÄ   »Ø¸´´ËÂ¥   ¹Ø×¢TA ¸øTA·¢ÏûÏ¢ ËÍTAºì»¨ TAµÄ»ØÌû
×î¾ßÈËÆøÈÈÌûÍÆ¼ö [²é¿´È«²¿] ×÷Õß »Ø/¿´ ×îºó·¢±í
[¿¼ÑÐ] 22408 312Çóµ÷¼Á +24 ÃÅ·ÃþÃþ 2026-04-14 26/1300 2026-04-18 13:04 by wunaiy88
[¿¼ÑÐ] 304Çóµ÷¼Á +7 castLight 2026-04-16 7/350 2026-04-17 20:05 by ¹ØÒ»ÕµµÆcd
[¿¼ÑÐ] 279Çóµ÷¼Á +13 ÕÅ·¬ÇѲ»³´µ° 2026-04-11 13/650 2026-04-17 10:38 by cuisz
[¿¼ÑÐ] ¿ÒÇëÓÐѧУÊÕÁô +8 ¿Â»´È» 2026-04-12 8/400 2026-04-17 09:34 by Öí»á·É
[¿¼ÑÐ] 22ר˶Çóµ÷¼Á +10 haoyunÉϰ¶ 2026-04-11 12/600 2026-04-16 22:21 by Öí»á·É
[¿¼ÑÐ] »¯Ñ§070300 Çóµ÷¼Á +28 ¹þ¹þ¹þ^_^ 2026-04-12 28/1400 2026-04-16 21:36 by ´óÁ¦Ë®ÊÖÁ¦´óÎÞÇ
[¿¼ÑÐ] 294Çóµ÷¼Á +14 µ­È»654321 2026-04-15 14/700 2026-04-16 21:01 by lpl364211
[¿¼²©] É격×Ô¼ö +3 LinxiaÁÖÏÄ 2026-04-13 3/150 2026-04-16 12:55 by Ä«ºÉ֮¶
[»ù½ðÉêÇë] RY£ºÖйú²ú³öµÄ¿ÆÑ§À¬»øÂÛÎÄ£¬¾ø¶ÔÊýÁ¿ºÍ±ÈÀý¶¼ÊÀ½çµÚÒ» +7 zju2000 2026-04-14 18/900 2026-04-16 11:36 by »¶ÀÖËÌÒ¶Ýè
[¿¼ÑÐ] ͨÐŹ¤³ÌÇóµ÷¼Á£¡£¡£¡ +6 zlb770521 2026-04-14 6/300 2026-04-15 20:00 by ѧԱJpLReM
[¿¼ÑÐ] 310Çóµ÷¼Á +16 666ÕæºÃ 2026-04-11 18/900 2026-04-15 13:28 by ºÚ¿Æ¼¼¿óÒµ
[¿¼ÑÐ] ¿¼Ñе÷¼Á +13 ³¤¹­°Á 2026-04-13 14/700 2026-04-14 14:44 by zs92450
[¿¼ÑÐ] ¿¼ÑÐÇóµ÷¼Á +6 ban°àСÆß 2026-04-11 6/300 2026-04-14 14:06 by ¶ßÀ²AÃÎÖ»ÊǸöÃÎ
[¿¼ÑÐ] 085408¹âµçÐÅÏ¢¹¤³Ìר˶355Ò»Ö¾Ô¸³¤´º¹â»úËùµ÷¼Á +6 Íõymaa 2026-04-13 13/650 2026-04-14 11:33 by Íõymaa
[¿¼ÑÐ] Çóµ÷¼Á +3 ÎÒ°®¸ßÊý¸ßÊý°®Î 2026-04-12 3/150 2026-04-14 01:00 by Íõ¬Bè±
[¿¼ÑÐ] BÇø0809 £¬ÊýÒ»Ó¢Ò»£¬290 Çóµ÷¼Á +3 ãöΫ1111 2026-04-12 4/200 2026-04-13 20:35 by ѧԱJpLReM
[¿¼ÑÐ] 344 ²ÄÁÏרҵ Çóµ÷¼Á211 ÎÞµØÓòÒªÇó +8 hualkop 2026-04-11 8/400 2026-04-12 22:24 by fqwang
[¿¼ÑÐ] µ÷¼Á½áÊø +6 floriea 2026-04-12 8/400 2026-04-12 18:13 by zhouxiaoyu
[¿¼ÑÐ] 291Çóµ÷¼Á +8 ¹ØÒä±±. 2026-04-11 8/400 2026-04-12 09:32 by ÄæË®³Ë·ç
[¿¼ÑÐ] 331Çóµ÷¼Á +5 Íõ¹ú˧ 2026-04-11 5/250 2026-04-11 22:56 by Ϫ½§Á÷Ë®
ÐÅÏ¢Ìáʾ
ÇëÌî´¦ÀíÒâ¼û