On Modelling Real-time and Security properties of Distributed Systems (Extended Abstract)

R.J. Corin, Sandro Etalle, Pieter H. Hartel, Angelika H. Mader

    Research output: Book/Report › Report › Other research output

    75 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'On Modelling Real-time and Security properties of Distributed Systems (Extended Abstract)'. Together they form a unique fingerprint.