Zur Kurzanzeige

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.accessioned2017-04-26T09:09:46Z
dc.date.available2017-04-26T09:09:46Z
dc.date.issued2015
dc.identifier.other14148
dc.identifier.urihttp://hdl.handle.net/11615/46155
dc.identifier.urihttp://dx.doi.org/10.26253/heal.uth.1818
dc.language.isoenen
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internationalen
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/en
dc.subject.otherΗλεκτρονικοί υπολογιστές -- Δίκτυαel
dc.subject.otherΗλεκτρονικοί υπολογιστές -- Επεξεργασία δεδομένωνel
dc.titleΠροσδιορισμός και έλεγχος κατά τη διάρκεια της εκτέλεσης χρονικών περιορισμών σε κατανεμημένες εφαρμογές με γεγονόταel
dc.titleSpecification and runtime checking of timing constraints in distributed event-based applicationsen
dc.typemasterThesisen
heal.recordProviderΠανεπιστήμιο Θεσσαλίας - Βιβλιοθήκη και Κέντρο Πληροφόρησηςel
heal.academicPublisherΠανεπιστήμιο Θεσσαλίας. Πολυτεχνική Σχολή. Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών.el
heal.academicPublisherIDuthen
heal.fullTextAvailabilitytrueen
dc.rights.accessRightsfreeen


Dateien zu dieser Ressource

Thumbnail

Das Dokument erscheint in:

Zur Kurzanzeige

Attribution-NonCommercial-NoDerivatives 4.0 International
Solange nicht anders angezeigt, wird die Lizenz wie folgt beschrieben: Attribution-NonCommercial-NoDerivatives 4.0 International