Travelled to:1 × Canada
1 × The Netherlands
Collaborated with:J.Tretmans E.Brinksma L.Verhaard
Talks about:test (2) asynchron (1) protocol (1) perspect (1) conform (1) formal (1) iso (1)
Person: Pim Kars
DBLP: Kars:Pim
Contributed to:
19921991Wrote 2 papers:
- IWPTS-1992-VerhaardTKB #on the #testing
- On Asynchronous Testing (LV, JT, PK, EB), pp. 55–66.
- IWPTS-1991-TretmansKB #consistency #formal method #protocol #testing
- Protocol Conformance Testing: A Formal Perspective on ISO IS-9646 (JT, PK, EB), pp. 131–142.