12

Algorithmic Verification of ISDN Network Layer Protocol

Year:
1990
Language:
english
File:
PDF, 3.32 MB
english, 1990
19

Performance evaluation of subflow capable SCTP

Year:
2006
Language:
english
File:
PDF, 1.12 MB
english, 2006
20

Throughput models for SCTP with parallel subflows

Year:
2006
Language:
english
File:
PDF, 675 KB
english, 2006
21

Dual-state augmentation for minimizing conformance test costs

Year:
1998
Language:
english
File:
PDF, 438 KB
english, 1998
23

Testing protocols modeled as FSMs with timing parameters

Year:
1999
Language:
english
File:
PDF, 551 KB
english, 1999
25

On stability analysis of virtual backbone in mobile ad hoc networks

Year:
2008
Language:
english
File:
PDF, 630 KB
english, 2008
26

Recurrent Interstitial Pregnancy

Year:
1998
Language:
english
File:
PDF, 434 KB
english, 1998
48

Algorithmic Generation of Protocol Conformance Tests

Year:
1990
Language:
english
File:
PDF, 4.06 MB
english, 1990