![McGill University / Soot / Industrial automation / Programmable logic controller / Sequential function chart / Static program analysis / Jimple / C / Software / Computing / Technology McGill University / Soot / Industrial automation / Programmable logic controller / Sequential function chart / Static program analysis / Jimple / C / Software / Computing / Technology](https://www.pdfsearch.io/img/cdb857bc96bafe3bc4396901908d6684.jpg)
| Document Date: 2015-01-21 09:18:19 Open Document File Size: 107,92 KBShare Result on Facebook
City Linz / / Company Keba AG / / Country Austria / / / Facility Johannes Kepler University / The Institute of System Software / Florian Angerer Dr. Herbert Prähofer Institute / / / IndustryTerm static analysis tool / hardware solutions / physical devices / program analysis tool / static software analysis methods / / Organization Herbert Prähofer Institute for System Software Tel. / Institute of System Software / / Person Florian Angerer / Herbert Prähofer / / / Position programmable logic controller / / ProgrammingLanguage Java / / Technology Java / / URL http /
SocialTag |