MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Edjard Mota" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Representing Interaction of Agents at Different Time Granularities
by Edjard Mota, David Robertson — 1996 — In Proceedings of the International Workshop on Temporal Representation and Reasoning
…Representing Interaction of Agents at Different Time Granularities Edjard Mota & David Robertson…
Cited by 3 (0 self) – Add To MetaCart

Temporal representation of ecological knowledge
by Edjard De Souza Mota — 1994
…Temporal Representation of Ecological Knowledge Edjard de Souza Mota MSc Information Technology…
Add To MetaCart

Time Granularity in Simulation Models of Ecological Systems
by Edjard Mota, Y Haggith, Alan Smaill, Dave Robertson — 1995 — In Proceedings of IJCAI-95 Workshop on Executable Temporal Logics
…Time Granularity in Simulation Models of Ecological Systems Edjard Mota ? ,Mandy Haggith, Alan…
Cited by 5 (1 self) – Add To MetaCart

VeriAgent: an approach to integrating UML and formal verification tools
by Edjard Mota, Edmund Clarke, Alex Groce, Waleska Oliveira, Marcia Falcão, Jorge K, Av. Gen, Rodrigo Octávio, Jordão Ramos — 2004 — Electron. Notes Theor. Comput. Sci. (ENTCS) 95
…VeriAgent: an Approach to Integrating UML and Formal Verification Tools Edjard Mota ¡ , Edmund…
Cited by 2 (0 self) – Add To MetaCart

VeriAgent: an Approach to Integrating UML and Formal
by Edjard Mota Edmund, Edmund Clarke, Alex Groce, Waleska Oliveira, Marcia Falc Ao, Jorge Kanda
…VeriAgent: an Approach to Integrating UML and Formal Verification Tools Edjard Mota 1 , Edmund…
Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB