ISORC 2012 [Cover Art]
2012
The following topics are dealt with: distributed real-time systems; dependable computing; secure computing; timing analysis; component-based architectures; service-oriented architectures; multicore platforms; configuration and adaptation; formal validation and formal verification.