DMCA

Compositional verification for hierarchical scheduling of real-time systems

Cached

Download Links

by Laura Carnevali , Ro Pinzuti , Enrico Vicario , Ieee Computer Society
Venue:IEEE Transactions on Software Engineering
Citations:5 - 0 self