An ontology for mobile agents in the context of formal verification (2005)
Source: Proceedings. Conference titles: OTM Confederated International Conferences "On the Move to Meaningful Internet Systems" - OTM, CoopIS, DOA, and ODBASE. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, COMPUTAÇÃO MÓVEL, TELEFONIA CELULAR, TELEFONIA CELULAR
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Paulo Salem da e MELO, Ana Cristina Vieira de. An ontology for mobile agents in the context of formal verification. 2005, Anais.. Berlin: Springer, 2005. Disponível em: https://doi.org/10.1007/11575801_35. Acesso em: 22 jan. 2026.APA
Silva, P. S. da, & Melo, A. C. V. de. (2005). An ontology for mobile agents in the context of formal verification. In Proceedings. Berlin: Springer. doi:10.1007/11575801_35NLM
Silva PS da, Melo ACV de. An ontology for mobile agents in the context of formal verification [Internet]. Proceedings. 2005 ;[citado 2026 jan. 22 ] Available from: https://doi.org/10.1007/11575801_35Vancouver
Silva PS da, Melo ACV de. An ontology for mobile agents in the context of formal verification [Internet]. Proceedings. 2005 ;[citado 2026 jan. 22 ] Available from: https://doi.org/10.1007/11575801_35
