Βελτιώσεις της μεθόδου TLA/TLC για επαλήθευση συστημάτων (παραλληλοποίηση για εκτέλεση σε κατανεμημένα περιβάλλοντα)
View/
Supervisor name
Μούντανος, Ιωάννης
Date
2011Language
el
Access
free
Academic publisher
Πανεπιστήμιο Θεσσαλίας. Πολυτεχνική Σχολή. Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών.
Collections
Except where otherwise noted, this item's license is
described as
Attribution-NonCommercial-NoDerivatives 4.0 International