Journals in DBLP

IEEE Trans. Software Eng.
1992, volume: 18, number: 9

1. Richard A. Kemmerer, Carlo Ghezzi
   Guest Editors' Introduction: Specification and Analysis of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1992, v:18, n:9, pp:766-767 [Journal]
   
2. Richard Gerber, Insup Lee
   A Layered Approach to Automating the Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1992, v:18, n:9, pp:768-784 [Journal]
   
3. Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel
   Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1992, v:18, n:9, pp:785-793 [Journal]
   
4. Xavier Nicollin, Joseph Sifakis, Sergio Yovine
   Compiling Real-Time Specifications into Extended Automata. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1992, v:18, n:9, pp:794-804 [Journal]
   
5. Alan C. Shaw
   Communicating Real-Time State Machines. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1992, v:18, n:9, pp:805-816 [Journal]
   
6. Brendan P. Mahony, Ian J. Hayes
   A Case-Study in Timed Refinement: A Mine Pump. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1992, v:18, n:9, pp:817-826 [Journal]
   
7. Irene Greif, Robert Seliger, William E. Weihl
   A Case Study Of CES: A Distributed Collaborative Editing System Implemented In Argus. [Citation Graph (1, 0)][DBLP]
   IEEE Trans. Software Eng., 1992, v:18, n:9, pp:827-839 [Journal]
   
8. Leo Mark, Roberta Cochrane
   Grammars and Relations. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1992, v:18, n:9, pp:840-849 [Journal]