Items where Year is 1986
 | Up a level |
Number of items: 5.
Department of Distributed Systems
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 1986 | Kovács, László PROTEST: An Environment for Testing and Debugging of Communication Protocols | Conference or Workshop Item | |
| 1986 | Kovács, László and Ercsényi, András Specification versus Implementation Based on ESTELLE |  | ISI Article |
| 1986-08 | Kovács, László and Ercsényi, András Specification versus Implementation Based on ESTELLE | ISI Article | |
| 1986 | Kovács, László and Harangozó, József Protocol Verification System Based on MODULA-2 Language | Conference or Workshop Item | |
| 1986 | Szentner, János and Kovács, László and Harangozó, József Formal Description, Verification and Implementation of Local Area Computer Network Transport Protocol | Conference or Workshop Item |
