Pulse استكشاف nav.journalClub النقاشات الرائج الباحثون

Join discussions, follow papers, and never miss your next session.

Download on theApp Store

الرئيسية استكشاف nav.journalClub الرائج

⌘+K

René Hexel | Synapse

RH

René Hexel

Formal Methods in Verification

Griffith University

About

Research focus

Formal Methods in Verification

Impact

94 pubs · 564 cites · h-index 13

Affiliations

Work Experience

Griffith University

2003 - Present

TU Wien

1997 - 1998

University of Vienna

1996 - 1996

Publications