G. Fleishanderl is an author at TU Wien specializing in computer-aided design, formal methods, and automated reasoning.
Top concepts
DesignAutomationEngineeringFormal MethodsComputer ScienceAutomated ReasoningIntelligent SystemsSystems EngineeringComputer-aided DesignArtificial Intelligence
Publications per year
1998–1998
1
1
Rows per page
1–1 of 1