Journals in DBLP

J. UCS
2004, volume: 10, number: 10

1. Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit
   Formal Specification of Computer-Based Systems. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2004, v:10, n:10, pp:1354-1356 [Journal]
   
2. Matthew J. Emerson, Janos Sztipanovits, Ted Bapty
   A MOF-Based Metamodeling Environment. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2004, v:10, n:10, pp:1357-1382 [Journal]
   
3. Tivadar Szemethy, Gabor Karsai
   Platform Modeling and Model Transformations for Analysis. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2004, v:10, n:10, pp:1383-1407 [Journal]
   
4. Mark Denford, Andrew Solomon, John Leaney, Tim O'Neill
   Architectural Abstraction as Transformation of Poset Labelled Graphs. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2004, v:10, n:10, pp:1408-1428 [Journal]
   
5. Cristina Cerschi Seceleanu, Tiberiu Seceleanu
   Synchronization Can Improve Reactive Systems Control and Modularity. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2004, v:10, n:10, pp:1429-1468 [Journal]
   
6. Petr Matousek
   Tools for Parametric Verification. A Comparison on a Case Study. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2004, v:10, n:10, pp:1469-1494 [Journal]