Verification architectures for complex real time systems - Faber, Johannes (2011)
Keywords: Echtzeitverarbeitung; CSP; Hochschulschrift