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
id ndltd-OhioLink-oai-etd.ohiolink.edu-osu1487240083948155
record_format oai_dc
spelling ndltd-OhioLink-oai-etd.ohiolink.edu-osu14872400839481552021-08-03T06:52:03Z Automated techniques for specification and validation of communications protocols / Umbaugh, Lloyd David Computer Science Computer networks 1983 English text The Ohio State University / OhioLINK http://rave.ohiolink.edu/etdc/view?acc_num=osu1487240083948155 http://rave.ohiolink.edu/etdc/view?acc_num=osu1487240083948155 unrestricted This thesis or dissertation is protected by copyright: all rights reserved. It may not be copied or redistributed beyond the terms of applicable copyright laws.
collection NDLTD
language English
sources NDLTD
topic Computer Science
Computer networks
spellingShingle Computer Science
Computer networks
Umbaugh, Lloyd David
Automated techniques for specification and validation of communications protocols /
author Umbaugh, Lloyd David
author_facet Umbaugh, Lloyd David
author_sort Umbaugh, Lloyd David
title Automated techniques for specification and validation of communications protocols /
title_short Automated techniques for specification and validation of communications protocols /
title_full Automated techniques for specification and validation of communications protocols /
title_fullStr Automated techniques for specification and validation of communications protocols /
title_full_unstemmed Automated techniques for specification and validation of communications protocols /
title_sort automated techniques for specification and validation of communications protocols /
publisher The Ohio State University / OhioLINK
publishDate 1983
url http://rave.ohiolink.edu/etdc/view?acc_num=osu1487240083948155
work_keys_str_mv AT umbaughlloyddavid automatedtechniquesforspecificationandvalidationofcommunicationsprotocols
_version_ 1719447173305729024

Similar Items