Instellingen beheren
MENU
Over deze site
In English
Home
Onderzoekers
Projecten
Organisaties
Publicaties
Infrastructuur
Contact
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
Profiel
Projecten
Publicaties
Activiteiten
Prijzen & Erkenningen
5
Resultaten
2004
Systematic functional design of XML tools
Hannes Verlinde
Raymond Boute
C1
Conferentie
2004
Systematic functional design of XML tools
Hannes Verlinde
Raymond Boute
C1
Conferentie
2004
Systematic functional design of XML tools
Hannes Verlinde
Raymond Boute
A4
Artikel in een tijdschrift
in
5th International Summer School on Advanced Functional Programming
2004
Systematic functional design of an XML editor
Raymond Boute
Hannes Verlinde
A4
Artikel in een tijdschrift
in
Formal Techniques for Networked and Distributed Systems -- FORTE 2004
2004
2003
Functionals for the Semantic Specification of Temporal Formulas for Model Checking
Raymond Boute
Hannes Verlinde
A4
Artikel in een tijdschrift
in
Application of Formal Description Techniques in Internet and Communication Domains -- FORTE 2003
2003