Lifting the Level of Abstraction Dealt with in Programming of Networked Embedded Computing Systems
SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
Approaches for inheritance in the TMO programming scheme
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Recent additions on the application programming interface of the TMO support middleware
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
Software—Practice & Experience
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 ...