Robert Huis in 't Veld

Publication Activity (10 Years)

Years Active: 1994-2011
Publications (10 Years): 0

Publications

Jozef Hooman, Robert Huis in 't Veld, Mathijs Schuts
Experiences with a Compositional Model Checker in the Healthcare Domain. FHIES (2011)
Valérie Gay, Peter Leydekkers, Robert Huis in 't Veld
Specification of Multiparty Audio and Video Interaction Based on the Reference Model of Open Distributed Processing. Comput. Networks ISDN Syst. 27 (8) (1995)
Valérie Gay, Peter Leydekkers, Robert Huis in 't Veld
Specification of Audio/Video Exchange Based on the Reference Model of ODP. Broadband Islands (1994)