News
LICS Newsletter 38
lics.siglog.org
Rajeev Alur, Edmund Clarke, Rance Cleaveland, Werner Damm, E. Allen Emerson, Limor Fix, Susanne Graf, Orna Grumberg (chair), Nicolas Halbwachs, Thomas A. Henzinger, Bengt Jonsson, Robert Kurshan, Kim Larsen, Ken McMillan, Carl Pixley, Mandayam Srivas, Frits Vaandrager, Antti Valmari, ...
Model Checking | Nioc 2013
nioc.nl
Module 'Model Checking' in het vak informatica, bovenbouw vo. Door: Frits Vaandrager Kernwoorden: Model Checking, Informatica 2.0, vo-informatica. Met medewerking van: Paul Bergervoet (hoofddocent Hogeschool van Arnhem en Nijmegen, auteur vo-methode Informatica-Actief). Bij het keuzevak ...
Avaleht
iktdk.dcc.ttu.ee
Frits Vaandrager - Inference of State Machines Vitaly Shmatikov - Privacy Technologies: What Works, What Doesn't, and What Is To Be Done Dino Pedreschi ...
sorted by relevance / date