Enabling Reasoning and Verification Support for Intelligent Agent Systems, using Formal Methods
"Formal methods are techniques, languages and tools based on mathematics, which provide an unambiguous, strict mathematical description or specification which is used for effective design, analysis and verification of desired properties of the system. An important branch of formal methods are alge...
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | doctoralThesis |
| Γλώσσα: | English |
| Έκδοση: |
Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
2017
|
| Θέματα: | |
| Διαθέσιμο Online: | http://dspace.lib.ntua.gr/handle/123456789/46767 |