Journals in DBLP

Formal Methods in System Design
2007, volume: 30, number: 3

1. 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. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2007, v:30, n:3, pp:177-178 [Journal]
   
2. Martin Fränzle, Christian Herde
   HySAT: An efficient proof engine for bounded model checking of hybrid systems. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2007, v:30, n:3, pp:179-198 [Journal]
   
3. Yunja Choi
   From NuSMV to SPIN: Experiences with model checking flight guidance systems. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2007, v:30, n:3, pp:199-216 [Journal]
   
4. Akram Idani, Yves Ledru
   Object oriented concepts identification from formal B specifications. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2007, v:30, n:3, pp:217-232 [Journal]
   
5. Christophe Ponsard, Philippe Massonet, Jean-François Molderez, André Rifaut, Axel van Lamsweerde, Hung Tran Van
   Early verification and validation of mission critical systems. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2007, v:30, n:3, pp:233-247 [Journal]
   
6. Miguel Valero Espada, Jaco van de Pol
   An abstract interpretation toolkit for µCRL. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2007, v:30, n:3, pp:249-273 [Journal]