Concepedia

Author

Raanan Grinwald

IBM Research - Haifa

Also Known As

Raanan Grinwald

1

Publications

84

Citations

1

H-Index

17

Concepts

All Affiliations

IBM Research - Haifa
RG

About

Raanan Grinwald is an author at IBM Research - Haifa specializing in systems engineering, formal methods, and design verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

84

2

Computer Engineering

1

1

84

3

Computer Science

1

1

84

4

Systems Engineering

1

1

84

5

Design

1

1

84

Raanan Grinwald

×

1

Publications

84

Citations

1

H-Index

YearCitations

User defined coverage---a tool supported methodology for design verification

Raanan Grinwald, Eran Harel, Michael Orgad,

1998

84

Page 1