Sebastián Blaustein

Learn More
Tools that feature MSC do not have the ability to check model or implementation executions against the specified behavior.In this paper, we present a method for observing the behavior of timed systems specified using Message Sequence Chart Graphs (MSC-Graphs) (a simplified version of ITU Z.120 notation [5]).We believe that a log-analyzer and a run-time(More)
  • 1