פרסומת
pyuppaal
ספריית פייתון למניפולציה קבצי XML UPPAAL ...
Uppaal Timed Automata Parser ספריית
ספריית ה- Parser Timed Automata UPPAAL (LOBUTAP) היא ספריית המנתח המשמשת את UPPAAL. ...
Uppaal
uppaal הוא סביבת כלי משולבת עבור דוגמנות, אימות ואימות של מערכות בזמן אמת. ...
סביבה מְשׁוּלָב UPPAAL סביבת כלי משולבת מידול מערכות בזמן אמת
Uppaal tiga.
Uppaal Tiga הוא הרחבה של UPPAAL וזה מיישם את האלגוריתם הראשון יעיל ב-לטוס לפתרון משחקים. ...
ספריית DBM UPPAAL.
הבדל מטריצות מחויב (DBMS) הם מבנים נתונים יעילים לייצג אילוצי שעון ב Tamed Automata. ...