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

Hannes Verlinde

Prijzen & Erkenningen

5 Resultaten

2004

Systematic functional design of XML tools

Hannes VerlindeRaymond Boute

A4 Artikel in een tijdschrift in 5th International Summer School on Advanced Functional Programming

Systematic functional design of XML tools

Hannes VerlindeRaymond Boute

Systematic functional design of XML tools

Hannes VerlindeRaymond Boute

Systematic functional design of an XML editor

Raymond BouteHannes Verlinde

A4 Artikel in een tijdschrift in Formal Techniques for Networked and Distributed Systems -- FORTE 2004

2003

Functionals for the Semantic Specification of Temporal Formulas for Model Checking

Raymond BouteHannes Verlinde

A4 Artikel in een tijdschrift in Application of Formal Description Techniques in Internet and Communication Domains -- FORTE 2003