Inproceedings,

Monitoring with Parametrized Extended Life Sequence Charts.

, and .
CS&P, volume 1492 of CEUR Workshop Proceedings, page 88-102. CEUR-WS.org, (2015)

Meta data

Tags

Users

  • @dblp

Comments and Reviews