电子邮件 | ema***@***.com | 获取Email |
---|
电子邮件 | ema***@***.com | 获取Email |
---|
AbsInt provides advanced development tools for embedded systems with a focus on validation, verification and certification of safety-critical and security-relevant software. Key products include static analysis tools for checking coding guidelines, timing and stack usage analysis, and detecting critical programming errors in C/C++ code, as well as the formally verified compiler CompCert. In 2022, the development of CompCert was honored with the prestigious ACM Software System Award: https://awards.acm.org/software-system. AbsInt was founded 25 years ago and is a privately-held company based in Saarbrücken, Germany. We serve companies from all over the world and from various industries, including aerospace, automotive, medical and energy - see https://www.absint.com/success.htm.
公司 | AbsInt GmbH |
---|---|
职位 | Associate Researcher |
地点 | Germany |
http://www.linkedin.com/in/reinhard-wilhelm-382189129 | |
部门 | |
头衔 | Associate Researcher bei AbsInt GmbH |
Reinhard Wilhelm 在 AbsInt GmbH 担任 Associate Researcher bei AbsInt GmbH
Reinhard Wilhelm 在 AbsInt GmbH 的职位是 Associate Researcher bei AbsInt GmbH
Reinhard Wilhelm 的电子邮件地址是 ema***@***.com
Reinhard Wilhelm 的电话号码是 -
Reinhard Wilhelm 的公司电话号码是 +496****
Reinhard Wilhelm 在 information technology & services 工作。
Reinhard Wilhelm 的一些同事包括Stephan Wilhelm、Daniel Kaestner、Stefana Nenova、Sylvie TritzReinhard Wilhelm、。
Reinhard Wilhelm联系方式: 电子邮件地址:ema***@***.com 电话号码:-
Reinhard Wilhelm 的个人领英是:http://www.linkedin.com/in/reinhard-wilhelm-382189129
Reinhard Wilhelm 的办公地点:Science Park 1, Saarbruecken, Saarland, DE, 66123
Top-ranked on G2 Crowd
全球B2B企业库 海关贸易数据 展会采购数据
全球B2B企业库
海关贸易数据
展销采购数据
Top-ranked on G2 Crowd