Louis Verhaard

According to our database, Louis Verhaard authored at least 7 papers between 1991 and 1997.

Collaborative distances:

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

1997

Combining SDL and C.

Paer-Olof Haokansson, Jan Karlsson, Louis Verhaard

Proceedings of the SDL '97 Time for Testing, 1997

1996

An Introduction to Z.105.

Louis Verhaard

Comput. Networks ISDN Syst., 1996

1994

Formalisation of Properties for Feature Interaction Detection: Experience in a Real-Life Situation.

Wiet Bouma, Willem J. M. Levelt, Alfo Melisse, Kees Middelburg, Louis Verhaard

Proceedings of the Towards a Pan-European Telecommunication Service Infrastructure, 1994

1992

On Asynchronous Testing.

Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma

Proceedings of the Protocol Test Systems, V, 1992

A Queue Model Relating Synchronous and Asynchronous Communication.

Jan Tretmans, Louis Verhaard

Proceedings of the Protocol Specification, 1992

Test derivation for SDL based on ACTs.

Finn Kristoffersen, Louis Verhaard, Michael Zeeberg

Proceedings of the Formal Description Techniques, 1992

1991

A Framework for Test Selection.

Ed Brinksma, Jan Tretmans, Louis Verhaard

Proceedings of the Protocol Specification, 1991