Ενοποιημένο τυπικό μοντέλο για την αναπαράσταση της λειτουργικότητας και την ανάλυση της χρονοδρομολογησιμότητας εφαρμογών πραγματικού...
Πρέπει να είστε εγγεγραμένος χρήστης για έχετε πρόσβαση σε όλες τις υπηρεσίες του ΕΑΔΔ  Είσοδος /Εγγραφή

Όλα τα τεκμήρια στο ΕΑΔΔ προστατεύονται από πνευματικά δικαιώματα.

DOI
10.12681/eadd/12905
Διεύθυνση Handle
http://hdl.handle.net/10442/hedi/12905
Εναλλακτικός τίτλος
A unified formal model for the representation of functionality and the schedulability analysis of real-time applications
Συγγραφέας
Γερογιάννης, Βασίλειος
Ημερομηνία
2001
Ίδρυμα
Πανεπιστήμιο Πατρών. Σχολή Θετικών Επιστημών. Τμήμα Μαθηματικών
Εξεταστική επιτροπή
Πιντέλας Παναγιώτης
Σπυράκης Παύλος
Χριστοδουλάκης Δημήτριος
Ζαγούρας Χαράλαμπος
Βραχάτης Μιχαήλ
Καββαδίας Δημήτριος
Λυκοθανάσης Σπυρίδων
Επιστημονικό πεδίο
Φυσικές Επιστήμες
Μαθηματικά
Λέξεις-κλειδιά
Δίκτυα petri; Τυπικές προδιαγραφές; Συστήματα πραγματικού χρόνου; Χρονοδρομολογησιμότητα; Μονότονη συχνότητα; Φορμαλισμός
Χώρα
Ελλάδα
Γλώσσα
Ελληνικά
Άλλα στοιχεία
xiii, 336 σελ. : εικ., πίνακες