This material is presented to ensure the timely dissemination of scholarly and technical work. Copyright and all rights
therein are retained by authors or by other copyright holders. All persons copying this information are expected to
adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the
explicit permission of the copyright holder.
54 International Journal Publications
4 International Conference Publication
54 International Journal Publications
4 International Conference Publication
2010, Ph.D. thesis
Nadeem Akhtar, "Contribution to the formal specification and verification of multi-agent robotic systems", Ph.D. thesis, Laboratory VALORIA of Computer Science, University of South Brittany, Bretagne - FRANCE, 2010.
2005, MS thesis
2005, MS thesis
Nadeem Akhtar, “Design and development of graphical programming interface to program mini-robots and the definition of a Low-Level Language grammar for this interface”, Master thesis, Laboratory VALORIA of Computer Science, University of South Brittany, Bretagne - FRANCE, 2005.
