Προσδιορισμός και έλεγχος κατά τη διάρκεια της εκτέλεσης χρονικών περιορισμών σε κατανεμημένες εφαρμογές με γεγονότα
Specification and runtime checking of timing constraints in distributed event-based applications
dc.contributor.advisor | Λάλης, Σπύρος | el |
dc.contributor.advisor | Κοράκης, Αθανάσιος | el |
dc.contributor.advisor | Λάμψας, Πέτρος | el |
dc.creator | Γρηγορόπουλος, Αθανάσιος Σ. | el |
dc.date.accessioned | 2017-04-26T09:09:46Z | |
dc.date.available | 2017-04-26T09:09:46Z | |
dc.date.issued | 2015 | |
dc.identifier.other | 14148 | |
dc.identifier.uri | http://hdl.handle.net/11615/46155 | |
dc.identifier.uri | http://dx.doi.org/10.26253/heal.uth.1818 | |
dc.language.iso | en | 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.title | Προσδιορισμός και έλεγχος κατά τη διάρκεια της εκτέλεσης χρονικών περιορισμών σε κατανεμημένες εφαρμογές με γεγονότα | el |
dc.title | Specification and runtime checking of timing constraints in distributed event-based applications | en |
dc.type | masterThesis | en |
heal.recordProvider | Πανεπιστήμιο Θεσσαλίας - Βιβλιοθήκη και Κέντρο Πληροφόρησης | el |
heal.academicPublisher | Πανεπιστήμιο Θεσσαλίας. Πολυτεχνική Σχολή. Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. | el |
heal.academicPublisherID | uth | en |
heal.fullTextAvailability | true | en |
dc.rights.accessRights | free | en |