Guest editors introduction: quantitative analysis of real-time embedded systems

Peter Buchholz, Joost-Pieter Katoen, Marcel Verhoef. Guest editors introduction: quantitative analysis of real-time embedded systems. STTT, 8(6):605-606, 2006. [doi]

Abstract

Abstract is missing.