Implementing and Verifying MSC Specifications Using Promela/XSpin

ISTA,2003, 引用: 2

,2004, 引用: 5

international conference on software and data technologies,2012, 引用: 0

,2006, 引用: 44

,2012, 引用: 0

formal methods,2006, 引用: 32

model driven engineering languages and systems,2006, 引用: 141

Electronic Notes in Theoretical Computer Science,2009, 引用: 45

2011 IEEE 3rd International Conference on Communication Software and Networks,2011, 引用: 2

,1999, 引用: 14