National Technical University of Athens
School of Electrical and Computer Engineering
Artemis is Live!
Welcome to our digital repository! The aim of Artemis is the systematic archiving and dissemination of the scientific work produced in the School of Electrical and Computer Engineering, National Technical University of Athens, Greece, using the technology of digital libraries.
Search
Add filters:
Use filters to refine the search results.
Results 1-1 of 1 (Search time: 0.006 seconds).
- previous
- 1
- next
Item hits:
| Issue Date | Title | Author(s) | Supervisor |
|---|---|---|---|
| 13-Dec-2017 | Enabling Reasoning And Verification Support For Intelligent Agent Systems, Using Formal Methods | Aikaterini E. Ksystra | Φράγκος Παναγιώτης |