![]() | ![]() |
2006 | ||
---|---|---|
2 | A. MacKlem, Fatma Mili: Formal Verification of Cognitive Models. FLAIRS Conference 2006: 420-425 | |
2005 | ||
1 | Fatma Mili, A. MacKlem, Sangiv Dungrani, C. Adams: Patterns and conflicts for the specification of cognitive models. IADIS AC 2005: 393-400 |
1 | C. Adams | [1] |
2 | Sangiv Dungrani | [1] |
3 | Fatma Mili | [1] [2] |