Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
5 links
Nadeem Akhtar
Researcher
PaperRequirement analysis, Architectural design and Formal verification of a multi-agent based University Information Management SystemAuthorship / preprint / 2015PaperKitRobot: A multi-platform graphical programming IDE to program mini-robotic agentsAuthorship / preprint / 2015PaperRequirements, Formal Verification and Model transformations of an Agent-based System: A CASE STUDYAuthorship / preprint / 2015PaperFormal requirement and architecture specifications of a multi-agent robotic systemAuthorship / preprint / 2015PaperContribution to the Formal Specification and Verification of a Multi-Agent Robotic SystemAuthorship / preprint / 2015