Έλεγχος μοντέλων: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ r2.7.1) (Ρομπότ: Προσθήκη: vi:Model checking |
|||
Γραμμή 133:
[[ru:Проверка моделей]]
[[sk:Overovanie modelov]]
[[vi:Model checking]]
| |||
μ r2.7.1) (Ρομπότ: Προσθήκη: vi:Model checking |
|||
Γραμμή 133:
[[ru:Проверка моделей]]
[[sk:Overovanie modelov]]
[[vi:Model checking]]
| |||