Author:
Hsaini Sara,Azzouzi Salma,Charaf My El Hassan
Publisher
Springer International Publishing
Reference17 articles.
1. Charaf, M.E.H., Azzouzi, S.: A colored Petri-net model for control execution of distributed systems. In: 2017 4th International Conference on Control, Decision and Information Technologies, CoDIT 2017, January 2017, vol. 2017, pp. 277–282 (2017)
2. Azzouzi, S., Benattou, M., Charaf, M.E.H.: A temporal agent based approach for testing open distributed systems. Comput. Stand. Interfaces 40, 23–33 (2015)
3. IFIP — The International Federation for Information Processing;M Benattou,1999
4. Hierons, R.M.: Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults. Inf. Softw. Technol. 43(9), 551–560 (2001)
5. Tai, K.-C., Young, Y.-C.: Synchronizable test sequences of finite state machines. Comput. Netw. ISDN Syst. 30(12), 1111–1134 (1998)