Bibtex

Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda Badri, Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols

@article{JOT:issue_2007_05/article2, author = {<a href="/contents.html?query=Mokhati">Farid Mokhati</a> and <a href="/contents.html?query=Boudiaf">Noura Boudiaf</a> and <a href="/contents.html?query=Badri">Mourad Badri</a> and <a href="/contents.html?query=Badri">Linda Badri</a>}, title = {Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols}, journal = {Journal of Object Technology}, volume = {6}, number = {4}, issn = {1660-1769}, year = {2007}, month = may, pages = {77-102}, doi = {10.5381/jot.2007.6.4.a2}, url = {http://www.jot.fm/contents/issue_2007_05/article2.html} }

Back