ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Quantitative analysis and systematic parametrization of a two-level real-time scheduler
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Realization of virtual networks in the DECOS integrated architecture
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
System architecture and software design for electric vehicles
Proceedings of the 50th Annual Design Automation Conference
Architecting automotive product lines: Industrial practice
Science of Computer Programming
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 ...