Centrum Wiskunde & Informatica

A Behavioral Model for Composition of Software Components Article

L'Objet, 33-76.

F. Arbab (Farhad)

January 2006
AMIS/Ambulant Daisy Player Software

A.J. Jansen (Jack) and M. DeMeglio

January 2006
Computing and Interaction Book Chapter

F. Arbab (Farhad)

January 2006
FNB Daisy-III Player Software

A.J. Jansen (Jack)

January 2006
VeriGEM: A verification grid for enhanced model checking Magazine Article

B. Haverkort, J.F. Groote (Jan Friso), J.C. van de Pol (Jaco), M. Kuntz and M. Weber (Michael)

January 2006
Security of multi-party protocols: Epistemics and verification Magazine Article

D.J.N. van Eijck (Jan), F. Dechesne (Francien), S.-M. Orzan (Simona-Mihaela), J.C. van de Pol (Jaco), E.P. de Vink (Erik) and Y. Wang (Yanjing)

January 2006
Coordinated Composition of Software Components Book Chapter

F. Arbab (Farhad)

January 2006
NIPS Software

M. Weber (Michael) and S. Schurmans

January 2006

Previous

Next