Stefan Resch, Andreas Steininger, Christoph Scherrer. Software Composability and Mixed Criticality for Triple Modular Redundant Architectures. In Alejandra Ruiz, Tim Kelly, José Luis de la Vara, editors, SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013. HAL, 2013. [doi]
Abstract is missing.