11 search results - page 3 / 3 » Fault-Tolerance for Component-Based Systems - An Automated M... |
SEFM
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...