Βελτιώσεις της μεθόδου TLA/TLC για επαλήθευση συστημάτων (παραλληλοποίηση για εκτέλεση σε κατανεμημένα περιβάλλοντα)
Προβολή/
Όνομα Επιβλέποντος
Μούντανος, Ιωάννης
Ημερομηνία
2011Γλώσσα
el
Πρόσβαση
ελεύθερη
Ακαδημαϊκός Εκδότης
Πανεπιστήμιο Θεσσαλίας. Πολυτεχνική Σχολή. Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών.
Collections
Attribution-NonCommercial-NoDerivatives 4.0 International