Volume 69; Issue 1

AT&T Technical Journal

Volume 69; Issue 1
1

Software for Analytical Development of Communications Protocols

Har'El, Zvi, Kurshan, Robert P.
Journal:
AT&T Technical Journal
Year:
1990
Language:
english
File:
PDF, 2.30 MB
english, 1990
2

Algorithms for Automated Protocol Verification

Holzmann, Gerard J.
Journal:
AT&T Technical Journal
Year:
1990
Language:
english
File:
PDF, 2.28 MB
english, 1990
3

Protocols: Key to the Future of Computer Communication

Bernstein, Lawrence
Journal:
AT&T Technical Journal
Year:
1990
Language:
english
File:
PDF, 332 KB
english, 1990
4

Algorithmic Generation of Protocol Conformance Tests

Dahbura, Anton T., Sabnani, Krishan K., Uyar, M. Ümit
Journal:
AT&T Technical Journal
Year:
1990
Language:
english
File:
PDF, 4.06 MB
english, 1990
5

Conformance Testing Methodologies for OSI Protocols

Bush, Matthew, Rasmussen, Kris, Wong, Fai
Journal:
AT&T Technical Journal
Year:
1990
Language:
english
File:
PDF, 3.67 MB
english, 1990
6

Deterministic Execution Testing of FSM-Based Protocols

Hubbard, Darrell
Journal:
AT&T Technical Journal
Year:
1990
Language:
english
File:
PDF, 2.18 MB
english, 1990
8

Algorithmic Verification of ISDN Network Layer Protocol

Uyar, M. Ümit, Lapone, Aleta, Sabnani, Krishan K.
Journal:
AT&T Technical Journal
Year:
1990
Language:
english
File:
PDF, 3.32 MB
english, 1990
9

Protocol Testing and Verification within AT&T

Aho, Alfred V., Bosik, Barry S., Griesmer, Stephen J.
Journal:
AT&T Technical Journal
Year:
1990
Language:
english
File:
PDF, 401 KB
english, 1990