Computer Science ›› 2007, Vol. 34 ›› Issue (12): 41-45.
Previous Articles Next Articles
HAO Yang GU Tian-Long （School of Computer and Control Engineering, Guilin University of Electronic Technology, Guilin 541004）
Online:
Published:
Abstract: Using the transformation from the LESS scripts of end system services to the models of colored Petri nets, feature interaction in Internet telephony end systems is detected by formal methods. Based on the characters of decision-tree nodes and the definiti
Key words: Colored petri nets, Feature interaction, End systems
HAO Yang GU Tian-Long （School of Computer and Control Engineering, Guilin University of Electronic Technology, Guilin 541004）. [J].Computer Science, 2007, 34(12): 41-45.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2007/V34/I12/41
Cited
Home