( en | de | ru )

 

Disambiguierung von "Crocker, Stephen D."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Precise Information Flow Analysis by Program Verification.

, und . S&P, Seite 74-80. IEEE Computer Society, (1982)

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.

Matthew W Crocker

Stephen Mamphey

Stephen Cochrane

Stephen Lachhein

Stephen Lowry

 

Weitere Publikationen von Autoren mit dem selben Namen

Verification of Concurrent Systems: Function and Timing., und . PSTV, Seite 401-409. North-Holland, (1982)Epilogue for RFC 1281, Guidelines for the Secure Operation of the Internet., und . ACSAC, Seite 405-417. IEEE Computer Society, (2008)The Greenblatt chess program., , und . AFIPS Fall Joint Computing Conference, Volume 31 von AFIPS Conference Proceedings, Seite 801-810. AFIPS / ACM / Thomson Book Company, Washington D.C., (1967)Precise Information Flow Analysis by Program Verification., und . S&P, Seite 74-80. IEEE Computer Society, (1982)A Proposal for a Verification-Based Virus Filter., und . S&P, Seite 319-324. IEEE Computer Society, (1989)Learning to Network.. IEEE Ann. Hist. Comput., 41 (2): 42-47 (2019)A multiprocessor description language., , und . AFIPS National Computer Conference, Volume 50 von AFIPS Conference Proceedings, Seite 19-25. AFIPS Press, (1981)Unwinding and the LOCK Proof Referees Study., , und . CSFW, Seite 9-21. IEEE Computer Society, (1992)Software methodology for development of a trusted BMS: identification of critical problems., und . ACSAC, Seite 148-165. IEEE, (1989)HOST-HOST communication protocol in the ARPA network., , und . AFIPS Spring Joint Computing Conference, Volume 36 von AFIPS Conference Proceedings, Seite 589-597. AFIPS Press, (1970)