Author of the publication

A-Team Based Supply Chain Management Agent Architecture.

, , and . Int. J. Artif. Intell. Tools, 18 (6): 801-823 (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Verifying OSEK/VDX automotive applications: A Spin-based model checking approach., , , and . Softw. Test. Verification Reliab., (2018)A-Team Based Supply Chain Management Agent Architecture., , and . Int. J. Artif. Intell. Tools, 18 (6): 801-823 (2009)Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms., , and . Clust. Comput., 19 (4): 2145-2156 (2016)Strict Linearizability and Abstract Atomicity., , , , and . Int. J. Found. Comput. Sci., 32 (1): 1-35 (2021)Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method.. APLAS, page 159-169. (2001)Two new strategies for developing loop invariants and their applications.. J. Comput. Sci. Technol., 8 (2): 147-154 (1993)Formal Development of Linear Structure Reusable Components in PAR Platform., , and . SOFL+MSVL, volume 10189 of Lecture Notes in Computer Science, page 85-97. (2016)Genericity in PAR Platform.. SOFL+MSVL, volume 9559 of Lecture Notes in Computer Science, page 3-14. Springer, (2015)A reputation model based on hierarchical bayesian estimation for Web services., , and . CSCWD, page 88-93. IEEE, (2012)From Mathematics to Software Engineering: Introducing Category Theory into the Computer Science Curriculum., , and . International Conference on Computational Science (3), volume 4489 of Lecture Notes in Computer Science, page 469-476. Springer, (2007)