Nadeem Akhtar

Identifiers

• name variant Nadeem Akhtar 0.60 · backfill

Papers (5)

1. Contribution to the Formal Specification and Verification of a Multi-Agent Robotic System cs.SE · 2015 · author #1
2. Formal requirement and architecture specifications of a multi-agent robotic system cs.SE · 2015 · author #1
3. Requirements, Formal Verification and Model transformations of an Agent-based System: A CASE STUDY cs.SE · 2015 · author #1
4. KitRobot: A multi-platform graphical programming IDE to program mini-robotic agents cs.PL · 2015 · author #1
5. Requirement analysis, Architectural design and Formal verification of a multi-agent based University Information Management System cs.SE · 2015 · author #1

Mentions

• 1501.05153 #1 · backfill · confidence 0.70 Nadeem Akhtar
• 1501.05120 #1 · backfill · confidence 0.70 Nadeem Akhtar
• 1501.01588 #1 · backfill · confidence 0.70 Nadeem Akhtar
• 1501.01273 #1 · backfill · confidence 0.70 Nadeem Akhtar

Frequent Coauthors

• Aisha Shafique Ghori 1 shared papers
• Anique Akhtar 1 shared papers
• Flavio Oquendo 1 shared papers
• Malik M. Saad Missen 1 shared papers
• Nadeem Salamat 1 shared papers
• Yann Le Guyadec 1 shared papers