Mechanical verification and automatic implementation of communication protocols von Blumer, T. P., Sidhu, D. P.

Volltext

Simulation and analysis of Awerbuch-Peleg and GSM schemes for location tracking of mobile users von Weerakoon, Ishan P., Sidhu, Deepinder P.

Volltext

Handover and new call blocking performance with dynamic single-channel assignment in linear cellular arrays von Wijesinha, Alexander L, Kumar, Srikanta P, Sidhu, Deepinder P

Volltext

On properties of read and write sets in the Awerbuch-Peleg scheme for tracking mobile users von Weerakoon, Ishan P, Wijesinha, Alexander L, Sidhu, Deepinder P

Volltext

Signaling network architectures in B‐ISDN environments von Rosenberry, Robert D., Sidhu, Deepinder P.

Volltext

On testing hierarchies for protocols von Sidhu, D.P., Motteler, H., Vallurupalli, R.

Volltext

Formal methods for protocol testing: a detailed study von Sidhu, D.P., Leung, T.-K.

Volltext

Logic programming applied to hardware design specification and verification von Sidhu, Deepinder P.

Volltext

Logic programming applied to hardware design specification and verification von Sidhu, Deepinder P

Volltext

Authentication protocols for computer networks: I von Sidhu, Deepinder P

Volltext

Automated verification of connection management of NBS class 4 transport protocol von Sidhu, Deepinder P., Blumer, Thomas P.

Volltext

Handover and new call blocking performance with dynamic single-channel assignment in linear cellular arrays von Wijesinha, Alexander L, Kumar, Srikanta P, Sidhu, Deepinder P

Volltext

Rules for synthesizing correct communication protocols von Sidhu, Deepinder P.

Volltext

Semi-automatic implementation of OSI protocols von Sidhu, Deepinder P, Blumer, Thomas P

Volltext

Performance analysis of a constrained resource sharing system von SIDHU, D. P, WIJESINHA, A. L

Volltext

Probabilistic testing of OSI protocols von Sidhu, D.P., Chung, A., Chun-Shi Chang

Volltext

Implications for Gauge Theories if Search for Parity Nonconservation in Atomic Physics Fails von Mohapatra, Rabindra N., Sidhu, Deepinder P.

Volltext

Constructing submodule specifications and network protocols von Sidhu, D.P., Aristizabal, J.

Volltext

Call blocking probabilities for dynamic and fixed assignment of a single channel in a linear cellular array von Wijesinha, Alexander L., Sidhu, Deepinder P., Kumar, Srikanta P.

Volltext

Executable logic specifications for protocol service interfaces von Sidhu, D.P., Crall, C.S.

Volltext