|
|
|
|
|
Massachusetts, United States
|
|
|
Ibm
, Dana Fisman
, Haifa
, Ilan Beer
, Elisha Porat
, Formal
, Model Checking
, Sugar
, Verification
, People Named Cindy Eisner, People Named Eisner
|
|
|
|
|
2 quick facts about Cindy Eisner:
|
|
Cindy Eisner has been a member of the Formal Methods Group at the IBM Haifa ... 
Source: EETimes.com - Sugar 2.0 tutorial explains language basics [www.eedesign.com]
|
|
Cindy Eisner has been working on various aspects of formal methods at the ... 
Source: Springer Science+Business Media : Press Releases [www.springer-sbm.com]
|
|
|
|
Related web page for Cindy Eisner:
|
|
|
Professional Networking Profile - LinkedIn
|
|
|
Cindy Eisner, Director IS Contract & Vendor Mgmt, Computer Software, Boston, VA, US...
|
|
|
www.linkedin.com/pub/0/9b2/099
|
|
| Click here for a comprehensive search on Cindy Eisner... |
|
|
|
|
|
|