Model Driven Software Engineering W&I

Onderzoeksoutput

Filter
Dissertatie 4 (Onderzoek NIET TU/e / Promotie NIET TU/e)
2009

Coalgebraic modelling: Applications in automata theory and modal logic

Hansen, H. H., 2009, Amsterdam: Vrije Universiteit Amsterdam. 194 blz.

Onderzoeksoutput: ScriptieDissertatie 4 (Onderzoek NIET TU/e / Promotie NIET TU/e)

3 Downloads (Pure)
2007

Flexible heterogeneous software systems

Jong, de, H. A., 2007, Amsterdam: Universiteit van Amsterdam. 176 blz.

Onderzoeksoutput: ScriptieDissertatie 4 (Onderzoek NIET TU/e / Promotie NIET TU/e)

2004

On distributed verification and verified distribution

Orzan, S. M., 2004, Amsterdam: Vrije Universiteit Amsterdam.

Onderzoeksoutput: ScriptieDissertatie 4 (Onderzoek NIET TU/e / Promotie NIET TU/e)

Open Access
2002

Probabilistic extensions of semantical models

Hartog, den, J. I., 2002, Amsterdam: Vrije Universiteit Amsterdam. 304 blz.

Onderzoeksoutput: ScriptieDissertatie 4 (Onderzoek NIET TU/e / Promotie NIET TU/e)

Open Access
1993

Logics and type systems

Geuvers, J. H., 1993, Nijmegen: Radboud Universiteit Nijmegen. 209 blz.

Onderzoeksoutput: ScriptieDissertatie 4 (Onderzoek NIET TU/e / Promotie NIET TU/e)

1987

Two-photon and radiative production of muon pairs

Luit, E. J., 1987, Amsterdam: Universiteit van Amsterdam. 145 blz.

Onderzoeksoutput: ScriptieDissertatie 4 (Onderzoek NIET TU/e / Promotie NIET TU/e)

1983

Integer valued polynomials in algebraic number theory

Zantema, H., 1983, Amsterdam: Universiteit van Amsterdam. 119 blz.

Onderzoeksoutput: ScriptieDissertatie 4 (Onderzoek NIET TU/e / Promotie NIET TU/e)