The SCEAS System
Navigation Menu

Conferences in DBLP

Protocol Specification, Testing and Verification (pstv)
1987 (conf/pstv/1987)

  1. Ian C. Davidson
    OSI Protocol Testing at the Corporation for Open Systems. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:3-12 [Conf]
  2. Kenneth J. Turner
    An Architectural Semantics for LOTOS. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:15-28 [Conf]
  3. Branislav Meandzija, William P.-C. Ho
    Towards Truly Open Systems. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:29-40 [Conf]
  4. Jean-Pierre Courtiat
    How Could Estelle Become a Better FDT? [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:43-60 [Conf]
  5. Albert Fleischmann
    PASS - A Technique for Specifying Communication Protocols. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:61-76 [Conf]
  6. Lothar F. Mackert, Iris B. Neumeier-Mackert
    Communicating Rule Systems. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:77-88 [Conf]
  7. Abdellatif Obaid, Luigi Logrippo
    An Atomic Calculus of Communicating Systems. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:91-104 [Conf]
  8. Juan Quemada, Angel Fernández
    Introduction of Quantitative Relative Time into LOTOS. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:105-121 [Conf]
  9. Guy Leduc
    The Intertwining of Data Types and Processes in LOTOS. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:123-136 [Conf]
  10. Gregor von Bochmann
    Usage of Protocol Development Tools: The Results of a Survey. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:139-161 [Conf]
  11. Tommaso Bolognesi, Scott A. Smolka
    Fundamental Results for the Verification of Observational Equivalence: A Survey. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:165-179 [Conf]
  12. Elie Najm
    A Verification Oriented Specification in LOTOS of the Transport Protocol. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:181-203 [Conf]
  13. Jan K. Pachl
    Protocol Description and Analysis Based on a State Transition Model with Channel Expressions. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:207-219 [Conf]
  14. Ana R. Cavalli, François Horn
    Proof of Specification Properties by Using Finite State Machines and Temporal Logic. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:221-233 [Conf]
  15. Jean-Luc Richier, Carlos Rodriguez, Joseph Sifakis, Jacques Voiron
    Verification in XESAR of the Sliding Window Protocol. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:235-248 [Conf]
  16. Giuseppe Pappalardo
    Experiences with a Verification and Simulation Tool for Behavioural Languages. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:251-264 [Conf]
  17. Piotr Dembinski, Stanislaw Budkowski
    Simulating Estelle Specifications with Time Parameters. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:265-279 [Conf]
  18. David Gilbert
    Executable LOTOS: Using PARLOG to Implement an FDT. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:281-294 [Conf]
  19. Sudhir Aggarwal, Daniel Barbará, Costas Courcoubetis
    LAN Broadcast Protocols for Implementing the CCA Model. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:297-306 [Conf]
  20. Nicholas F. Maxemchuk, Krishan K. Sabnani
    Probabilistic Verification of Communication Protocols. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:307-320 [Conf]
  21. Pieter S. Kritzinger
    Protocol Performance Using Image Protocols. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:321-335 [Conf]
  22. Gerard J. Holzmann
    On Limits and Possibilities of Automated Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:339-344 [Conf]
  23. Hasan Ural
    A Test Derivation Method for Protocol Conformance Testing. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:347-358 [Conf]
  24. K. H. Muralidhar
    Network Management and Directory Services Test System. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:359-372 [Conf]
  25. A. S. Krishnakumar, B. Krishnamurthy, Krishan K. Sabnani
    Translation of Formal Protocol Specifications to VLSI Designs. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:375-390 [Conf]
  26. Johannes Freudenmann
    Development of Communication Software by Stepwise Refinement. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:391-404 [Conf]
  27. Yasuhiro Ohara, Shizuo Yoshitake, Tsukasa Kawaoka
    Protocol Conversion Method for Heterogeneous Systems Interconnection in Multi-Profile Environment. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:405-418 [Conf]
  28. Erwin P. Rathgeb, Christian Homann, Hong Linh Truong, Gerd Waldmann
    Protocol Testing for the ISDN D-Channel Network Layer. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:421-434 [Conf]
  29. Willem Hengeveld, Jan Kroon
    Using Checking Sequences for OSI Session Layer Conformance Testing. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:435-449 [Conf]
  30. Harry Rudin
    Note on the Early History of Layered Architecture. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:453-454 [Conf]
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