FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems

Chih-Hong Cheng , Christian Buckl , Javier Esparza und Alois Knoll

CoRR, abs/0905.3946

2009

Url: http://arxiv.org/abs/0905.3946