Έλεγχος μοντέλων: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μΧωρίς σύνοψη επεξεργασίας |
μ Ρομπότ: Τροποποίηση: en:Model checking |
||
Γραμμή 116:
{{ενσωμάτωση κειμένου|en|Model Checking}}
[[en:Model Checking]]▼
[[de:Model Checking]]
[[es:Model checking]]
[[fr:Model checking]]
[[it:Model checking]]
[[lt:Modelių tikrinimas]]▼
[[ja:モデル検査]]
▲[[lt:Modelių tikrinimas]]
[[pt:Verificação de Modelos]]
[[ru:Проверка моделей]]
| |||