L Astefanoaei | TU Delft Repository

Library

local_library Home Repository

LA

L Astefanoaei

Book chapter (1)

Journal article (1)

2 records found

1

Using the Maude term rewriting language for agent development with formal foundations.

Book chapter (2010) - M.B. van Riemsdijk (author) , L Astefanoaei (author) , FS de Boer (author)

Using rewrite strategies for testing BUpL agents

Journal article (2010) - L Astefanoaei (author) , FS de Boer (author) , M.B. van Riemsdijk (author)