Goerschwin Fey

Available identifiers

zbMath Open fey.gorschwinWikidataQ102407812 ScholiaQ102407812MaRDI QIDQ2280223

List of research outcomes

Publication	Date of Publication	Type
Synthesizing adaptive test strategies from temporal logic specifications	2019-12-18	Paper
Test Pattern Generation using Boolean Proof Engines	2009-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q3528927	2008-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q5444994	2008-02-27	Paper
Formal Methods for Hardware Verification	2007-05-02	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Goerschwin Fey