Inproceedings,

A methodology for mapping live sequence chart to coloured Petri net.

, , , , and .
SMC, page 2999-3004. IEEE, (2005)

Meta data

Tags

Users

  • @dblp

Comments and Reviews