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

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

Download on theApp Store

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

⌘+K

Florian Kohn | Synapse

FK

Florian Kohn

Formal Methods in Verification

Helmholtz Center for Information Security

About

Research focus

Formal Methods in Verification

Impact

18 pubs · 42 cites · h-index 4

Affiliations

Work Experience

Helmholtz Center for Information Security

2022 - Present

Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)

2024 - 2024

Publications