Table of Contents
Preface
Preface
Marieke Huisman, Jaco van de Pol
|
|
Articles
Alastair Donaldson
|
|
Guy H. Broadfoot
|
|
Laura Kovacs
|
|
Morteza Mohaqeqi, Mohammad Reza Mousavi, Walid Taha
|
|
Jingshu Chen, Marie Duflot, Stephan Merz
|
|
Beatrice Berard, John Mullins
|
|
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
|
|
Sven Reimer, Matthias Sauer, Paolo Marin, Bernd Becker
|
|
Jeremy Sproston
|
|
Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns
|
|
Jan Friso Groote, Remco van der Hofstad, Matthias Raffelsieper
|
|
Adisak Intana, Michael R. Poppleton, Geoff V. Merrett
|
|
Leo Hatvani, Alexandre David, Cristina Seceleanu, Paul Pettersson
|
|
Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns
|
|
Petr Ročkai, Jiří Barnat, Luboš Brim
|
|
A Constraint-Solving Approach for Achieving Minimal-Reset Transition Coverage of Smartcard Behaviour
Renaud De Landtsheer, Christophe Ponsard, Nicolas Devos
|
|