( en | de | ru )

 

Disambiguierung von "Rudin, Harry"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Protocol Development Success Stories: Part 1.

. PSTV, Volume C-8 von IFIP Transactions, Seite 149-160. North-Holland, (1992)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Walther Harry

Reiner Rudin

Yvonne Rudin

Benjamin Rudin

Beat Rudin

 

Weitere Publikationen von Autoren mit dem selben Namen

An informal overview of formal protocol specification.. IEEE Commun. Mag., 23 (3): 46-52 (1985)Tools for Protocols Driven by Formal Specifications.. Embedded Systems, Volume 284 von Lecture Notes in Computer Science, Seite 127-152. Springer, (1986)Archiving agents for the World Wide Web., und . ICCCN, Seite 424-426. IEEE Computer Society, (1997)Time in Formal Protocol Specifications.. Kommunikation in Verteilten Systemen (1), Volume 95 von Informatik-Fachberichte, Seite 575-587. Springer, (1985)Predicting protocol performance from a meta-implementation., , und . PSTV, Seite 349-362. North-Holland, (1985)Including a Queue in a Formal-Description-Driven Protocol Performance Analysis., und . PSTV, Seite 247-258. North-Holland, (1989)Internet for a mobile generation Book Review.. IEEE Communications Magazine, 41 (3): 14 (2003)Protocol Development Success Stories: Part 1.. PSTV, Volume C-8 von IFIP Transactions, Seite 149-160. North-Holland, (1992)Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995)., , , , , und . Computer Networks and ISDN Systems, 28 (13): 1845-1855 (1996)On Alternate Routing in Circuit-Switched Data Networks.. IFIP Congress, Seite 321-326. (1977)