 | סטריוסטסעורך נכס מבוסס על דפוסים |
| הורד עכשיו | |
סטריוסטס דירוג וסיכום
פרסומת
סטריוסטס תגים
סטריוסטס תיאור
סטריוסטס פותחה כעורך נכס מבוסס דפוס נגיש. התוכנה מאפשרת לך לתרגם דפוסים לנוסחה לוגית זמנית (כרגע CTL, CTRL ו- MU-Calculus נתמכים). סטריוסטס הוא כלי שמגיע עם שני מודולים, GUI ו API מתרגם דפוס. מודלים של הדינמיקה של רשתות האינטראקציה הסלולרית הפכו גדולים ויותר בשנים האחרונות. המחקר של מודלים אלה על ידי ניתוח וכלים סימולציה מייצר מספר רב של תחזיות של התנהגויות דינמיות אפשריות של המערכת.
סטריוסטס תוכנה קשורה
