Βελτιώσεις της μεθόδου 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

Excepto si se señala otra cosa, la licencia del ítem se describe como Attribution-NonCommercial-NoDerivatives 4.0 International