Observing timed systems by means of message sequence chart graphs
Tools that feature message sequence chart (MSC) do not have the ability to check model or implementation executions against the specified behavior. As such, a method for observing the behavior of timed systems specified using Message Sequence Chart Graphs (MSC-Graphs) is presented. It is believed th...
Guardado en:
| Autores principales: | Blaustein, S., Oliveto, F., Braberman, V. |
|---|---|
| Formato: | CONF |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_02705257_v_n_p707_Blaustein |
| Aporte de: |
Ejemplares similares
Ejemplares similares
-
Observing timed systems by means of message sequence chart graphs
Publicado: (2002) -
Short message service (SMS) the creation of personal text messaging /
por: Harris, Ian, 1962-
Publicado: (2010) -
Two graph-based techniques for software architecture reconfiguration
Publicado: (2002) -
Two graph-based techniques for software architecture reconfiguration
por: Hirsch, D., et al. -
Zeus: A distributed timed model-checker based on Kronos
por: Braberman, Víctor Adrián, et al.
Publicado: (2002)