The SCEAS System
Navigation Menu

Journals in DBLP

IEEE Trans. Computers
1991, volume: 40, number: 4

  1. Huai-An Lin
    Constructing Protocols with Alternative Functions. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1991, v:40, n:4, pp:376-386 [Journal]
  2. Paul W. King
    Formalization of Protocol Engineering Concepts. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1991, v:40, n:4, pp:387-403 [Journal]
  3. Pradeep Jain, Simon S. Lam
    Specification of Real-Time Broadcast Networks. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1991, v:40, n:4, pp:404-422 [Journal]
  4. Samuel C. Chamberlain, Paul D. Amer
    Broadcast Channels in Estelle. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1991, v:40, n:4, pp:423-436 [Journal]
  5. Riccardo Sisto, Luigi Ciminiera, Adriano Valenzano
    A Protocol for Multirendezvous of LOTOS Processes. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1991, v:40, n:4, pp:437-447 [Journal]
  6. Mohamed G. Gouda, Nicholas J. Multari
    Stabilizing Communication Protocols. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1991, v:40, n:4, pp:448-458 [Journal]
  7. Yoshiaki Kakuda, Hironori Saito
    An Integrated Approach to Design of Protocol Specifications Using Protocol Validation and Synthesis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1991, v:40, n:4, pp:459-467 [Journal]
  8. Robert L. Probert, Kassem Saleh
    Synthesis of Communication Protocols: Survey and Assessment. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1991, v:40, n:4, pp:468-476 [Journal]
  9. Norio Shiratori, Yao-Xue Zhang, Kaoru Takahashi, Shoichi Noguchi
    A User Friendly Software Environment for Protocol Synthesis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1991, v:40, n:4, pp:477-486 [Journal]
  10. Murali Rajagopal, Raymond E. Miller
    Synthesizing a Protocol Converter from Executable Protocol Traces. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1991, v:40, n:4, pp:487-499 [Journal]
  11. Elke Heck, Dieter Hogrefe, Bruno Müller-Clostermann
    Hierarchical Performance Evaluation Based on Formally Specified Communication Protocols. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1991, v:40, n:4, pp:500-513 [Journal]
  12. Kotaro Katsuyama, Fumiaki Sato, Tetsuo Nakakawaji, Tadanori Mizuno
    Strategic Testing Environment with Formal Description Techniques. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1991, v:40, n:4, pp:514-525 [Journal]
  13. Do Y. Lee, Jai-Yong Lee
    A Well-Defined Estelle Specification for the Automatic Test Generation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1991, v:40, n:4, pp:526-542 [Journal]
  14. Piyu Tripathy, Behçet Sarikaya
    Test Generation from LOTOS Specifications. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1991, v:40, n:4, pp:543-552 [Journal]
  15. Haruhisa Ichikawa, Masaki Itoh, June Kato, Akira Takura, Masashi Shibasaki
    SDE: Incremental Specification and Development of Communications Software. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1991, v:40, n:4, pp:553-561 [Journal]
  16. E. Jane Cameron, David M. Cohen, Timothy M. Guinther, William M. Keese II, Linda A. Ness, Cynthia Norman, Hassan N. Srinidhi
    The L.0 Language and Environment for Protocol Simulation and Prototyping. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Computers, 1991, v:40, n:4, pp:562-571 [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