Shahid Beheshti University of Medical Sciences

Graduate Student, Computer Engineering

electrical and computer engineering

Thesis Title: Formal Specification and Verification of self-adaptive multi-agent Software Systems

Hassan Haghighi
Eslam Nazemi

Contact Information

Homepage:

http://formalmethods.ir

 

x

Log In

or reset password

Reset Password

Enter the email address you signed up with, and we'll send a reset password email to that address

Academia © 2012