The SCEAS System
Navigation Menu

Journals in DBLP

IEEE Trans. Software Eng.
1994, volume: 20, number: 1

  1. Peter B. Danzig
    Flow Control for Limited Buffer Multicast. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:1, pp:1-12 [Journal]
  2. Michael González Harbour, Mark H. Klein, John P. Lehoczky
    Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:1, pp:13-28 [Journal]
  3. Teruo Higashino, Gregor von Bochmann
    Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:1, pp:29-42 [Journal]
  4. Ajay D. Kshemkalyani, Mukesh Singhal
    Efficient Detection and Resolution of Generalized Distributed Deadlocks. [Citation Graph (2, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:1, pp:43-54 [Journal]
  5. Simon S. Lam, A. Udaya Shankar
    A Theory of Interfaces and Modules I-Composition Theorem. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:1, pp:55-71 [Journal]
  6. Gang Luo, Anindya Das, Gregor von Bochmann
    Software Testing Based on SDL Specifications with Save. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:1, pp:72-87 [Journal]
  7. Michael D. Rice, Stephen B. Seidman
    A Formal Model for Module Interconnection Languages. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:1, pp:88-101 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002