Βελτιώσεις της μεθόδου TLA/TLC για επαλήθευση συστημάτων (παραλληλοποίηση για εκτέλεση σε κατανεμημένα περιβάλλοντα)
Voir/
Supervisor name
Μούντανος, Ιωάννης
Date
2011Language
el
Access
free
Academic publisher
Πανεπιστήμιο Θεσσαλίας. Πολυτεχνική Σχολή. Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών.
Collections
Excepté là où spécifié autrement, la license de ce document est décrite en tant que Attribution-NonCommercial-NoDerivatives 4.0 International