Concepedia

Frank Ghenassia

FG

1

Publications

10

Citations

1

H-Index

2005

Active since

Affiliations

Fujitsu (Japan)(Current)

Frank Ghenassia is an author at Fujitsu (Japan) specializing in formal verification, software engineering, and system software.

Top concepts

Publications per year

2005–2005

1

Publications

1

How to bridge the abstraction gap in system level modeling and design

Arie Bernstein, Mark Burton, Frank Ghenassia · 2005 · 10 citations

, , +28

Rows per page

1–1 of 1