Louis Verhaard

Publication Activity (10 Years)

Years Active: 1991-1997
Publications (10 Years): 0

Publications

Paer-Olof Haokansson, Jan Karlsson, Louis Verhaard
Combining SDL and C. SDL Forum (1997)
Louis Verhaard
An Introduction to Z.105. Comput. Networks ISDN Syst. 28 (12) (1996)
Wiet Bouma, Willem J. M. Levelt, Alfo Melisse, Kees Middelburg, Louis Verhaard
Formalisation of Properties for Feature Interaction Detection: Experience in a Real-Life Situation. IS&N (1994)
Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma
On Asynchronous Testing. Protocol Test Systems (1992)
Finn Kristoffersen, Louis Verhaard, Michael Zeeberg
Test derivation for SDL based on ACTs. FORTE (1992)
Jan Tretmans, Louis Verhaard
A Queue Model Relating Synchronous and Asynchronous Communication. PSTV (1992)
Ed Brinksma, Jan Tretmans, Louis Verhaard
A Framework for Test Selection. PSTV (1991)