Formal Specifications for Packet Communication Systems
One of the most difficult tasks facing computer scientists is that of designing systems and making sure that they perform their intended functions correctly. As computer systems have grown in size and complexity, the problems of system design and verification have become increasingly acute.
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149479 |
| _version_ | 1811075307570987008 |
|---|---|
| author | Ellis, David J. |
| author2 | Dennis, Jack B. |
| author_facet | Dennis, Jack B. Ellis, David J. |
| author_sort | Ellis, David J. |
| collection | MIT |
| description | One of the most difficult tasks facing computer scientists is that of designing systems and making sure that they perform their intended functions correctly. As computer systems have grown in size and complexity, the problems of system design and verification have become increasingly acute. |
| first_indexed | 2024-09-23T10:03:59Z |
| id | mit-1721.1/149479 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T10:03:59Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1494792023-03-30T04:05:20Z Formal Specifications for Packet Communication Systems Ellis, David J. Dennis, Jack B. One of the most difficult tasks facing computer scientists is that of designing systems and making sure that they perform their intended functions correctly. As computer systems have grown in size and complexity, the problems of system design and verification have become increasingly acute. 2023-03-29T15:01:36Z 2023-03-29T15:01:36Z 1977-11 https://hdl.handle.net/1721.1/149479 03626282 MIT-LCS-TR-189 application/pdf |
| spellingShingle | Ellis, David J. Formal Specifications for Packet Communication Systems |
| title | Formal Specifications for Packet Communication Systems |
| title_full | Formal Specifications for Packet Communication Systems |
| title_fullStr | Formal Specifications for Packet Communication Systems |
| title_full_unstemmed | Formal Specifications for Packet Communication Systems |
| title_short | Formal Specifications for Packet Communication Systems |
| title_sort | formal specifications for packet communication systems |
| url | https://hdl.handle.net/1721.1/149479 |
| work_keys_str_mv | AT ellisdavidj formalspecificationsforpacketcommunicationsystems |