Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2005, volume: 141, number: 3

1. Juliana Küster Filipe, Iman Poernomo, Ralf Reussner, Sandeep K. Shukla
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:141, n:3, pp:1-2 [Journal]
   
2. Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes
   Modelling the GSM Handover Protocol in CommUnity. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:141, n:3, pp:3-25 [Journal]
   
3. Catherine Menon, Michael Johnson, Charles Lakos
   Inconsistency Management and View Updates. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:141, n:3, pp:27-51 [Journal]
   
4. Malcolm Wallace
   Modular Architectural Representation and Analysis of Fault Propagation and Transformation. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:141, n:3, pp:53-71 [Journal]
   
5. Viktoria Firus, Steffen Becker, Jens Happe
   Parametric Performance Contracts for QML-specified Software Components. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:141, n:3, pp:73-90 [Journal]
   
6. Abdelaziz Guerrouat, Harald Richter
   A Formal Approach for Analysis and Testing of Reliable Embedded Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:141, n:3, pp:91-106 [Journal]
   
7. Jan Carlson, Mikael Åkerholm
   An Event Algebra Extension of the Triggering Mechanism in a Component Model for Embedded Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:141, n:3, pp:107-121 [Journal]
   
8. Hartmut Ehrig, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino
   Object-Oriented Connector-Component Architectures. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:141, n:3, pp:123-151 [Journal]
   
9. Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker
   Towards formalising AADL in Proof Assistants. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:141, n:3, pp:153-169 [Journal]
   
10. Roopak Sinha, Partha S. Roop, Bakhadyr Khoussainov
    Adaptive Verification using Forced Simulation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:141, n:3, pp:171-197 [Journal]
    
11. Sotiris Moschoyiannis, Michael W. Shields, Paul J. Krause
    Modelling Component Behaviour with Concurrent Automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:141, n:3, pp:199-220 [Journal]