Statistics
Publications
1
Citations
27
H-Index
1
Active since
2002
Affiliations
IBM (United States)(Current)
A. Mets is an author at IBM (United States) specializing in simulation, formal methods, and formal verification.
Publications per year
2002–2002
1
1
The use of random simulation in formal verification
F. Krohm, A. Kuchlmann, A. Mets · 2002 · 27 citations
Hardware Modeling, Engineering, Hardware Verification Language +20
1–1 of 1