Search the dblp DataBase

Publications of Author

1. Finn Kristoffersen, Louis Verhaard, Michael Zeeberg
   Test derivation for SDL based on ACTs. [Citation Graph (0, 0)][DBLP]
   FORTE, 1992, pp:381-396 [Conf]
   
2. 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. [Citation Graph (0, 0)][DBLP]
   IS&N, 1994, pp:393-405 [Conf]
   
3. Ed Brinksma, Jan Tretmans, Louis Verhaard
   A Framework for Test Selection. [Citation Graph (0, 0)][DBLP]
   PSTV, 1991, pp:233-248 [Conf]
   
4. Jan Tretmans, Louis Verhaard
   A Queue Model Relating Synchronous and Asynchronous Communication. [Citation Graph (0, 0)][DBLP]
   PSTV, 1992, pp:131-145 [Conf]
   
5. Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma
   On Asynchronous Testing. [Citation Graph (0, 0)][DBLP]
   Protocol Test Systems, 1992, pp:55-66 [Conf]
   
6. Paer-Olof Haokansson, Jan Karlsson, Louis Verhaard
   Combining SDL and C. [Citation Graph (0, 0)][DBLP]
   SDL Forum, 1997, pp:383-396 [Conf]
   
7. Louis Verhaard
   An Introduction to Z.105. [Citation Graph (0, 0)][DBLP]
   Computer Networks and ISDN Systems, 1996, v:28, n:12, pp:1617-1628 [Journal]