CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Renarrating Linguistic Architecture Presentation
January 2012 -
January 2012
-
Automated Verification of Executable UML Models In Proceedings
H.H. Hansen (Helle), J. Ketema, S.P. Luttik (Bas), M.R. Mousavi, J.C. van de Pol (Jaco) and O. Marchi dos Santos (Osmar)
January 2012 -
A modal logic for abstract delta modeling. In Proceedings
F.S. de Boer (Frank), M. Helvensteijn (Michiel) and J. Winter (Joost)
January 2012 -
Astronomical Data Processing Using SciQL, an SQL Based Query Language for Array Data Presentation
Y. Zhang (Ying), L.H.A. Scheers (Bart) and M.L. Kersten (Martin)
January 2012 -
January 2012
-
Cellen Bestuderen met behulp van een Gegevensbank Systeem Presentation
E. Larios (Enrique), K. Yan (Kuan), F.J. Verbeek, Y. Zhang (Ying), F.E. Groffen (Fabian), Z. Di and S. LeDévédec (Sylvia)
January 2012
-
January 2012