Research Explorer

Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Researcher

Noemie Slaats

Awards & Distinctions

4 Results

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 Journal Article in INFORMATION SCIENCES

1998

Shared memory synchronization

Noemie SlaatsB VanasscheAlbert Hoogewijs

Bookchapter in Proof in VDM : case studies