CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
HATS abstract behavioral specification: the architectural view In Proceedings
R. Hähnle (Reiner), M. Helvensteijn (Michiel), E.B. Johnsen (Einar Broch), M. Lienhardt, D. Sangiorgi, I. Schaefer and P.Y.H. Wong
January 2013
-
Software Analysis and Transformation with Rascal, NBIC BioAssist Meeting, Utrecht, The Netherlands Lecture
January 2013 -
January 2013
-
Local Search and Restart Strategies for Satisfiability Solving in Fuzzy Logics In Proceedings
T. Brys, M.M. Drugan, P.A.N. Bosman (Peter), M. de Cock and A. Nowé
January 2013 -
Solving Satisfiability in Fuzzy Logics by Mixing CMA-ES In Proceedings
T. Brys, M.M. Drugan, P.A.N. Bosman (Peter), M. de Cock and A. Nowé
January 2013 -
CWI SWAT & Rascal Presentation
January 2013 -
On the accuracy of phase-type approximations of heavy-tailed risk models. Article
Scandinavian Actuarial JournalE. Vatamidou (Eleni), I.J.B.F. Adan, M. Vlasiou (Maria) and A.P. Zwart (Bert)
January 2013 -
January 2013