[IEEE 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing (PRDC) - Pasadena, CA, USA (2011.12.12-2011.12.14)] 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing - Tool Supported Model-Based Safety Analysis and Optimization
Gudemann, Matthias, Lipaczewski, Michael, Ortmeier, FrankYear:
2011
Language:
english
DOI:
10.1109/PRDC.2011.44
File:
PDF, 135 KB
english, 2011