Verification of distributed real-time and fault-tolerant protocols

J.J.M. Hooman

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

7 Citaten (Scopus)

Vingerafdruk

Duik in de onderzoeksthema's van 'Verification of distributed real-time and fault-tolerant protocols'. Samen vormen ze een unieke vingerafdruk.

Computer Science