Performability Measure Specification: Combining CSRL and MSL.

Alessandro Aldini, Marco Bernardo, Jeremy Sproston

Browse the full FMICS paper archive.