Αρχική Σελίδα
→
2. Ερευνητικές - Επιστημονικές Δημοσιεύσεις του Ακαδημαϊκού Προσωπικού
→
Πλοήγηση 2. Ερευνητικές - Επιστημονικές Δημοσιεύσεις του Ακαδημαϊκού Προσωπικού ανά Λέξη-κλειδί

Πλοήγηση 2. Ερευνητικές - Επιστημονικές Δημοσιεύσεις του Ακαδημαϊκού Προσωπικού ανά Λέξη-κλειδί "Formal verification"

Αποτελέσματα 1-1 από 1

A methodology for developing component-based agent systems focusing on component quality

Eleftherakis, G.; Kefalas, P.; Kehris, E. (2011-09)

Formal development of agent systems with inherent high complexity is not a trivial task, especially if a formal method used is not accompanied by an appropriate methodology. X-machines is a formal method that resembles ...

Αποτελέσματα 1-1 από 1

Αναζήτηση στο DSpace

Σύνθετη αναζήτηση

Πλοήγηση

Όλο το Αποθετήριο
Αυτή η κοινότητα

Ο λογαριασμός μου

Σύνδεση

Το Ιδρυματικό Αποθετήριο δημιουργήθηκε στο πλαίσιο του Έργου "Ψηφιακές Υπηρεσίες της Βιβλιοθήκης του Τ.Ε.Ι. Σερρών" (MIS 304281). Συγχρηματοδοτήθηκε από το Ευρωπαϊκό Ταμείο Περιφερειακής Ανάπτυξης (ΕΤΠΑ) και από Εθνικούς πόρους, στο πλαίσιο του Επιχειρησιακού Προγράμματος "Μακεδονία-Θράκη".

Πλοήγηση 2. Ερευνητικές - Επιστημονικές Δημοσιεύσεις του Ακαδημαϊκού Προσωπικού ανά Λέξη-κλειδί "Formal verification"

Απόθεσις

Αναζήτηση στο DSpace

Πλοήγηση

Όλο το Αποθετήριο

Αυτή η κοινότητα

Ο λογαριασμός μου