DocumentCode
2023383
Title
ISORC 2012 [front cover]
fYear
2012
fDate
11-13 April 2012
Abstract
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.
Keywords
configuration management; distributed processing; formal verification; multiprocessing systems; real-time systems; security of data; service-oriented architecture; component-based architectures; dependable computing; distributed real-time systems; formal validation; formal verification; multicore platforms; secure computing; service-oriented architectures; timing analysis;
fLanguage
English
Publisher
ieee
Conference_Titel
Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2012 IEEE 15th International Symposium on
Conference_Location
Guangdong
ISSN
1555-0885
Print_ISBN
978-1-4673-0499-3
Type
conf
DOI
10.1109/ISORC.2012.33
Filename
6195885
Link To Document