Elthon Allex da Silva Oliveira
Universidade Federal de Alagoas · AL · 1 publicações em 2026–2026
ORCID 0000-0002-7471-2516
Formal Methods in VerificationPetri Nets in System ModelingMobile Health and mHealth ApplicationsContext-Aware Activity Recognition SystemsMulti-Agent Systems and Negotiation