Research Explorer

Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.

Onderzoeker

Noemie Slaats

4 Resultaten

1999

Logische grondslagen van VDM specificaties in mural

Noemie SlaatsA. Hoogewijs

Semantic tableaux in LPF and the adequacy theorem

Noemie SlaatsAlbert Hoogewijs

The non-definedness notion in expert systems

D Van HeuleAlbert HoogewijsNoemie Slaats

A1 Artikel in een tijdschrift in INFORMATION SCIENCES

1998

Shared memory synchronization

Noemie SlaatsB VanasscheAlbert Hoogewijs

Hoofdstuk in een boek in Proof in VDM : case studies