Volume 30,
Number 1,
February 2007
Special Issue on MEMOCODE 2004
Volume 30,
Number 2,
April 2007
Volume 30,
Number 3,
June 2007
Special issue of Selected Papers from the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 04),
Linz,
Austria
- Andrew Butterfield, Juan Bicarregui, Alvaro Arenas:
Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria.
177-178
Electronic Edition (link) BibTeX
- Martin Fränzle, Christian Herde:
HySAT: An efficient proof engine for bounded model checking of hybrid systems.
179-198
Electronic Edition (link) BibTeX
- Yunja Choi:
From NuSMV to SPIN: Experiences with model checking flight guidance systems.
199-216
Electronic Edition (link) BibTeX
- Akram Idani, Yves Ledru:
Object oriented concepts identification from formal B specifications.
217-232
Electronic Edition (link) BibTeX
- Christophe Ponsard, Philippe Massonet, Jean-François Molderez, André Rifaut, Axel van Lamsweerde, Hung Tran Van:
Early verification and validation of mission critical systems.
233-247
Electronic Edition (link) BibTeX
- Miguel Valero Espada, Jaco van de Pol:
An abstract interpretation toolkit for µCRL.
249-273
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:59:08 2009
by Michael Ley (ley@uni-trier.de)
