3 search results - page 1 / 1 » Towards Safe Design of Synchronous Bus Protocols in Event-B |
SBMF
2009
Springer
13 years 11 months ago
2009
Springer
FDL
2007
IEEE
13 years 10 months ago
2007
IEEE
Actor-oriented modeling approaches are convenient for implementing functional models of embedded systems. Architectural models for heterogeneous system-on-chip architectures, howe...
RTSS
2008
IEEE
13 years 11 months ago
2008
IEEE
This paper presents the design of user-level scheduling hierarchies in the Composite component-based system. The motivation for this is centered around the design of a system that...