ÇóÖª
ÎÄÕÂ
ÎÄ¿â
Lib
ÊÓÆµ
iPerson
¿Î³Ì
ÈÏÖ¤
×Éѯ
¹¤¾ß
½²×ù
Modeler
Code
»áÔ±
״̬ͼ Éú³É ״̬±í~iSpace
×÷ÕߣºÙÞÌÎ
¸ü¶à
your browser does not support the video tag
2007 ´Îä¯ÀÀ
1476 ´Î
ÆäËûÈË»¹¿´ÁË
FMUµ¼ÈëÓë·ÂÕæ
»ùÏß¹ÜÀíÓë°æ±¾¶Ô±È£¨iSpace£©
ÔªËØ¼ì²é£¨ Model Checker£©
Á´½ÓÄ£ÐͿ⣨WebEA£©
»ùÓÚ½¨Ä£¹¤¾ßEA½øÐÐ×Ô¶¯¼ÝÊ»·ÂÕæ
ÀàµÄ¼Ì³Ð£ºÊôÐԺͲÙ×÷~iSpace