186 search results - page 38 / 38 » Global consistency checking of distributed models with TReMe... |
EMSOFT
2001
Springer
13 years 9 months ago
2001
Springer
Abstract This paper is sort of a confession. Issues of synchrony, asynchrony, and synchronization, arise frequently in designing embedded systems from components, like everyone I k...