361 search results - page 17 / 73 » Message Sequence Charts |
84
Voted
ISORC
2000
IEEE
15 years 2 months ago
2000
IEEE
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
36
Voted
ECEASST
2008
14 years 9 months ago
2008
RSP
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...