A rigorous approach to availability modeling.

Maximilian Junker, Philipp Neubeck

Browse the full ICSE paper archive.