Pim Kars

Publication Activity (10 Years)

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

Top Topics

Science Learning

Pedagogical Agents

Top Venues

Publications

Theo C. Ruys, Pim Kars
Gossiping Girls Are All Alike. SPIN (2012)
Pim Kars
Formal Methods in the Design of s Storm Surge Barrier Control System. European Educational Forum: School on Embedded Systems (1996)
Pim Kars
The application of Promela and Spin in the BOS project. The Spin Verification System (1996)
Pim Kars
Representation of process-gate nets in LOTOS and verification of LOTOS laws: the Boolean algebra approach. FORTE (1994)
Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma
On Asynchronous Testing. Protocol Test Systems (1992)
Jan Tretmans, Pim Kars, Ed Brinksma
Protocol Conformance Testing: A Formal Perspective on ISO IS-9646. Protocol Test Systems (1991)