Author of the publication

Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems.

, , , , , and . DSN, page 346-355. IEEE Computer Society, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Minitel: Welcome to the Internet., and . MIT Press, (2017)The Rules of Engagement: Comparing Two Social Protest Movements on YouTube., , , , and . Cyberpsychology Behav. Soc. Netw., 17 (3): 133-140 (2014)Modelling and Verification of Timed Systems with the Event Calculus and s(CASP)., , , , , , , and . ICLP Workshops, volume 2970 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)ARINC 659 Scheduling: Problem Definition., , , and . RTSS, page 165-169. IEEE Computer Society, (1994)Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems., , , , , and . DSN, page 346-355. IEEE Computer Society, (2005)Ringing out Fault Tolerance. A New Ring Network for Superior Low-Cost Dependability., , , and . DSN, page 298-307. IEEE Computer Society, (2005)Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming., , , , , , , , , and . HCVS@ETAPS, volume 344 of EPTCS, page 79-90. (2021)The Airplane Information Management System: an integrated real-time flight-deck control system., and . RTSS, page 267-270. IEEE Computer Society, (1992)Political rumoring on Twitter during the 2012 US presidential election: Rumor diffusion and correction., , , and . New Media Soc., 19 (8): 1214-1235 (2017)BeepBeep: Embedded Real-Time Encryption.. FSE, volume 2365 of Lecture Notes in Computer Science, page 164-178. Springer, (2002)