Old Web
English
Sign In
Acemap
>
authorDetail
>
Rima Tanash
Rima Tanash
Aerospace
Software engineering
Automation
Microprocessor
Systems engineering
1
Papers
15
Citations
0
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
One-Click Formal Methods
2019
IEEE Software
John Backes
Pauline Bolignano
Byron Cook
Andrew Gacek
Kasper Søe Luckow
Neha Rungta
Martin Schäef
Cole Schlesinger
Rima Tanash
Carsten Varming
Michael Whalen
Show All
Source
Cite
Save
Citations (15)
1