-
1
-
2
Authentication protocols for computer networks: I
Veröffentlicht in Computer networks and ISDN systems
VolltextArtikel -
3
Logic programming applied to hardware design specification and verification
Veröffentlicht in SIGMICRO newsletter (1988)
VolltextArtikel -
4
-
5
Constructing submodule specifications and network protocols
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
6
-
7
-
8
On testing hierarchies for protocols
Veröffentlicht in IEEE/ACM transactions on networking
VolltextArtikel -
9
-
10
Signaling network architectures in B‐ISDN environments
Veröffentlicht in Journal of high speed networks
VolltextArtikel -
11
-
12
-
13
Executable logic specifications for protocol service interfaces
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
14
Formal methods for protocol testing: a detailed study
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
15
Verification of NBS Class 4 Transport Protocol
Veröffentlicht in IEEE transactions on communications
VolltextArtikel -
16
-
17
Security Information Flow in Multidimensional Arrays
Veröffentlicht in IEEE transactions on computers
VolltextArtikel -
18
-
19
Absorption strength and overlap functions in π N scattering
Veröffentlicht in Physical review. D, Particles and fields
VolltextArtikel -
20
Probabilistic testing of OSI protocols
Veröffentlicht in IEEE transactions on communications
VolltextArtikel