Utility accrual object distribution in MPSoC real-time embedded systems
Journal of Computer and System Sciences
Hi-index | 0.00 |
This paper defines a precise conceptual model of a software platform and the relationship that exists between platforms and software applications that use them. One of the key features of this model is that it allows formal verification of deployment ...