Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness

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

CoRR, abs/0905.3951

2009

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

URL BibTeX Zurück