Journals in DBLP

International Journal of Parallel Programming
2005, volume: 33, number: 6

1. Franco Fummi, Ian G. Harris
   Editorial. [Citation Graph (0, 0)][DBLP]
   International Journal of Parallel Programming, 2005, v:33, n:6, pp:583-584 [Journal]
   
2. Mirko Loghi, Tiziana Margaria, Graziano Pravadelli, Bernhard Steffen
   Dynamic and Formal Verification of Embedded Systems: A Comparative Survey. [Citation Graph (0, 0)][DBLP]
   International Journal of Parallel Programming, 2005, v:33, n:6, pp:585-611 [Journal]
   
3. Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh Gupta
   A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking. [Citation Graph (0, 0)][DBLP]
   International Journal of Parallel Programming, 2005, v:33, n:6, pp:613-643 [Journal]
   
4. Alfred Kölbl, Carl Pixley
   Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation. [Citation Graph (0, 0)][DBLP]
   International Journal of Parallel Programming, 2005, v:33, n:6, pp:645-666 [Journal]
   
5. Francesco Bruschi, Fabrizio Ferrandi, Donatella Sciuto
   A Framework for the Functional Verification of SystemC Models. [Citation Graph (0, 0)][DBLP]
   International Journal of Parallel Programming, 2005, v:33, n:6, pp:667-695 [Journal]
   
6. Iñigo Ugarte, Pablo Sanchez
   Verification of Embedded Systems Based on Interval Analysis. [Citation Graph (0, 0)][DBLP]
   International Journal of Parallel Programming, 2005, v:33, n:6, pp:697-720 [Journal]