14 search results - page 1 / 3 » Contract-Based Verification of Hierarchical Systems of Compo... |
81
Voted
SEFM
2008
IEEE
15 years 5 months ago
2008
IEEE
106
Voted
ENTCS
2006
14 years 11 months ago
2006
Components allow to design applications in a modular way by enforcing a strong separation of concerns. In distributed systems this separation of concerns have to be composed with ...
96
Voted
ETFA
2005
IEEE
15 years 4 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
65
Voted
SAC
2008
ACM
14 years 10 months ago
2008
ACM
Complexity in concurrent or distributed systems can be managed by dividing component into smaller components. However, such transformations change the coordination behaviour betwe...
116
Voted
ATVA
2008
Springer
15 years 28 days ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...