Author:
Regayeg Amira,Kacem Ahmed Hadj,Jmaiel Mohamed
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. d’Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A formal specification of dMARS. In: Intelligent Agents IV: Proceedings of the Fourth International Workshop on Agent Theories, Architectures and Languages (1998)
2. El Fallah, A.: Représentation et manipulation de plans à l’aide des réseaux de Petri. Actes des 2èmes Journées Francophones IAD-SMA (1994)
3. Jmaiel, M., Pepper, P.: Development of communication protocols using algebraic and temporal specifications. Computer Networks Journal 42, 737–764 (2003)
4. Lecture Notes in Computer Science;R. Kolyang,1996
5. Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, Heidelberg (1992)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Fuzzy Labeled Transition Refinement Tree;Fuzzy Systems;2017
2. Understanding Agent-Oriented Software Engineering methodologies;The Knowledge Engineering Review;2015-09
3. Towards Agent Oriented Methodology;Proceedings of the The International Conference on Engineering & MIS 2015 - ICEMIS '15;2015
4. Fuzzy Labeled Transition Refinement Tree;International Journal of Agent Technologies and Systems;2014-07