Robert Huis in 't Veld

According to our database, Robert Huis in 't Veld authored at least 3 papers between 1994 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Experiences with a Compositional Model Checker in the Healthcare Domain.

Jozef Hooman, Robert Huis in 't Veld, Mathijs Schuts

Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011

1995

Specification of Multiparty Audio and Video Interaction Based on the Reference Model of Open Distributed Processing.

Valérie Gay, Peter Leydekkers, Robert Huis in 't Veld

Comput. Networks ISDN Syst., 1995

1994

Specification of Audio/Video Exchange Based on the Reference Model of ODP.

Valérie Gay, Peter Leydekkers, Robert Huis in 't Veld

Proceedings of the Broadband Islands '94, 1994