| |
| 1996 | ||
|---|---|---|
| 4 | Pim Kars: Formal Methods in the Design of s Storm Surge Barrier Control System. European Educational Forum: School on Embedded Systems 1996: 353-367 | |
| 1994 | ||
| 3 | Pim Kars: Representation of process-gate nets in LOTOS and verification of LOTOS laws: the Boolean algebra approach. FORTE 1994: 165-180 | |
| 1992 | ||
| 2 | Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma: On Asynchronous Testing. Protocol Test Systems 1992: 55-66 | |
| 1991 | ||
| 1 | Jan Tretmans, Pim Kars, Ed Brinksma: Protocol Conformance Testing: A Formal Perspective on ISO IS-9646. Protocol Test Systems 1991: 131-142 | |
| 1 | Ed Brinksma | [1] [2] |
| 2 | Jan Tretmans | [1] [2] |
| 3 | Louis Verhaard | [2] |