Automated techniques for specification and validation of communications protocols /

Automated techniques for specification and validation of communications protocols /

Bibliographic Details
Main Author:	Umbaugh, Lloyd David
Language:	English
Published:	The Ohio State University / OhioLINK 1983
Subjects:	Computer Science Computer networks
Online Access:	http://rave.ohiolink.edu/etdc/view?acc_num=osu1487240083948155

Similar Items

Automated validation of communication protocols /
by: Lu, Ching-sung
Published: (1986)

Protocol constructions for communication networks /
by: Teng, Yanpyng Albert
Published: (1980)

A new methodology for designing communication protocols /
by: Lin, Huai-An
Published: (1983)

Systems of communicating machines : a model for communication protocols
by: Lundy, G. M.
Published: (2006)

Specification-verification of protocols : the significant event temporal logic technique
by: Tsiknis, George
Published: (2010)

Protocol validation via reachability analysis : an implementation
by: Hui, Daniel Hang-Yan
Published: (2010)

Automatic validation of secure authentication protocols
by: Kim, Kyoil, 1964-
Published: (2011)

Specification and validation of Q.2931 ATM signaling protocol using estelle
by: Tasak, Dariusz.
Published: (1997)

A methodology for specifying and analyzing communication protocols and services /
by: Liu, Nien-chen
Published: (1986)

Towards automating protocol synthesis and analysis /
by: Chu, Peil-Ying Mark
Published: (1989)

Using formal languages in data communications protocols
by: Mulder, Petrus Gerhardus
Published: (2014)

Implementation of a protocol validation and synthesis system
by: Tong, Darren Pong-Choi
Published: (2010)

Protocol test sequence generation and analysis using AI techniques
by: Ko, Kai-Chung
Published: (2010)

Techniques to Improve Automated Software Verification
by: Tagore, Aditi
Published: (2014)

Interprocess communication and synchronization for distributed systems /
by: Pardo, Roberto
Published: (1979)

A language-based approach to protocol implementation.
by: Abbott, Mark Bert.
Published: (1993)

Fast prototyping of communication protocols.
by: Haqqani, Mujeeb.
Published: (2009)

An optimized hardware architecture and communication protocol for scheduled communication
by: Shoemaker, David R. (David Robert)
Published: (2008)

Protocol engineering from Estelle specifications
by: Wheeler, Graham
Published: (2015)

Toward a formalism for the automation of neural network construction and processing control
by: Czuchry, Andrew J., Jr.
Published: (2006)

Simulation of lower layers of communication protocols using Ada
by: Goel, Ashu
Published: (2011)

Supporting Communication and Collaboration in the Process Automation Industry
by: Brönmark, Jonas, et al.
Published: (2011)

Multiplexing Techniques and Design-Automation Tools for FRET-Enabled Optical Computing
by: Mottaghi, Mohammad
Published: (2014)

Test sequence generation methods for communication protocols /
by: Yu, Shwuhwa Sarah
Published: (1993)

Protocol engineering issues for open systems communications.
by: Aleem, Syed A.
Published: (2009)

Optimizing bandwidth of tactical communications systems
by: Cox, Criston W.
Published: (2012)

Formal Methods and Tools for Testing Communication Protocol System Security
by: Shu, Guoqiang
Published: (2008)

Securing host and application information in the TCP/IP protocol suite
by: Boshoff, Paul Marthinus
Published: (2012)

Design, specification, and validation of telephony systems in LOTOS.
by: Boumezbeur, Rezki.
Published: (2009)

Automating modular program verification by refining specifications
by: Taghdiri, Mana, 1979-
Published: (2008)

Testability-directed specification of communications software.
by: Yu, Hua-Long.
Published: (2009)

Cooperative communication in wireless networks: algorithms, protocols and systems
by: Lakshmanan, Sriram
Published: (2012)

An integrated approach to verification and performance analysis of communication protocols /
by: Lin, Fuchun Joseph
Published: (1988)

Performance analysis of error control protocols in computer communications /
by: Wey, Shou-Jen
Published: (1990)

An application of an ethernet based protocol for communication and control in automated manufacturing
by: Bertolissi, Edy
Published: (1997)

Ad hoc routing protocol validation
by: Wibling, Oskar
Published: (2005)

On buffer allocation in transport protocols
by: Zissopoulos, Athanassios
Published: (1987)

Protocol conversion : an algorithmic approach
by: Rajagopal, Murali
Published: (2007)

Design and analysis of key establishment protocols

Objects for interprocess communication
by: Mujumdar, Swati
Published: (2011)