Βελτιώσεις της μεθόδου TLA/TLC για επαλήθευση συστημάτων (παραλληλοποίηση για εκτέλεση σε κατανεμημένα περιβάλλοντα)

dc.contributor.advisor	Μούντανος, Ιωάννης	el
dc.creator	Γεωργούλη, Κωνσταντία	el
dc.date.accessioned	2016-06-07T07:44:17Z
dc.date.available	2016-06-07T07:44:17Z
dc.date.issued	2011
dc.identifier.other	9418
dc.identifier.uri	http://hdl.handle.net/11615/42015
dc.identifier.uri	http://dx.doi.org/10.26253/heal.uth.1705
dc.language.iso	el	en
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 International	en
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	en
dc.subject.other	ΑΛΓΟΡΙΘΜΟΙ	el
dc.subject.other	ΠΑΓΚΟΣΜΙΟΣ ΙΣΤΟΣ	el
dc.subject.other	ΗΛΕΚΤΡΟΝΙΚΗ ΕΠΕΞΕΡΓΑΣΙΑ ΔΕΔΟΜΕΝΩΝ	el
dc.title	Βελτιώσεις της μεθόδου TLA/TLC για επαλήθευση συστημάτων (παραλληλοποίηση για εκτέλεση σε κατανεμημένα περιβάλλοντα)	el
dc.type	masterThesis	en
heal.recordProvider	Πανεπιστήμιο Θεσσαλίας - Βιβλιοθήκη και Κέντρο Πληροφόρησης	el
heal.academicPublisher	Πανεπιστήμιο Θεσσαλίας. Πολυτεχνική Σχολή. Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών.	el
heal.academicPublisherID	uth	en
heal.fullTextAvailability	true	en
dc.rights.accessRights	free	en

Attribution-NonCommercial-NoDerivatives 4.0 International