Joost P. Katoen

prof.dr.ir.

1992 …2018
If you made any changes in Pure these will be visible here soon.

Research Output 1992 2018

Filter
Other contribution
1993

Performance Analysis and True Concurrency Semantics

Katoen, J. P., 3 Nov 1993, Iowa-City, U.S.A.

Research output: Other contributionOther research output

Proposal for a new Modelling Concept: the Functional Architecture

van den Broek, W., Lensink, A. & Katoen, J. P., 14 Feb 1993

Research output: Other contributionOther research output

Proposal for a UMTS Functional Architecture

van den Broek, W., Lensink, A. & Katoen, J. P., 14 Feb 1993

Research output: Other contributionOther research output

Specification, Design and Verification of Dynamic Leader Election Protocols in a Broadcast Network

Katoen, J. P., 18 Oct 1993, De Lutte, Nederland

Research output: Other contributionOther research output

Specification and Verification of a Dynamic Leader Election Protocol in a Broadcast Network

Katoen, J. P., 9 Mar 1993, Mierlo, Nederland

Research output: Other contributionOther research output

UMTS Functional Model

Katoen, J. P. & Kremer, H. H. C., 28 Feb 1993

Research output: Other contributionOther research output

UMTS Network Architecture

Katoen, J. P. & Kremer, H. H. C., 30 Jun 1993

Research output: Other contributionOther research output