Biblio

Export 5 results:
Author [ Title(Desc)] Type Year
Filters: Author is Yingmin Li  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
C
Y. Li, Melliti, T., and Dague, P., A colored Petri nets model for diagnosing data faults of BPEL services, in Proc. of International Workshop on Principles of Diagnosis (DX), 2009.
Y. Li, Melliti, T., and Dague, P., A colored Petri nets model for the diagnosis of semantic faults of BPEL services, in Proc. of International Workshop on Petri Nets and Software Engineering (PNSE), 2009.
D
Y. Li, Melliti, T., Ye, L., and Dague, P., A decentralized model-based diagnosis for BPEL services, in Proc. of International Conference on Tools with Artificial Intelligence (ICTAI), 2009.
Y. Li, Diagnosis of Large Software Systems Based on Colored Petri Nets, Université Paris Sud, 2010.