Πλοήγηση 2. Ερευνητικές - Επιστημονικές Δημοσιεύσεις του Ακαδημαϊκού Προσωπικού ανά Συγγραφέα "Kehris, E."

Απόθεσις

 

Πλοήγηση 2. Ερευνητικές - Επιστημονικές Δημοσιεύσεις του Ακαδημαϊκού Προσωπικού ανά Συγγραφέα "Kehris, E."

Ταξινόμηση κατά: Σειρά: Αποτελέσματα:

  • Functional Testing Techniques for Discrete-Event Simulation 
    Kehris, E. (2006)
    Simulation program testing is an important phase of a simulation study which aims to uncover errors in the simulation program. This paper presents the adoption of two complementary functional techniques for the testing ...
  • 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 ...
  • Web-based simulation of manufacturing systems 
    Kehris, E. (2009)
    Powerful new features may be incorporated to simulation environments by exploiting existing Web technology. To demonstrate this, WebManSim, a prototype web-based manufacturing system simulator has been developed. The ...