Old Web
English
Sign In
Acemap
>
authorDetail
>
S. I. Joe
S. I. Joe
IBM
Computer engineering
Real-time computing
Formal equivalence checking
Software deployment
Formal methods
1
Papers
17
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Functional formal verification on designs of pSeries microprocessors and communication subsystems
2005
Ibm Journal of Research and Development
Rebecca M. Gott
Jason R. Baumgartner
Paul Roessler
S. I. Joe
Show All
Source
Cite
Save
Citations (17)
1