丸紅情報システムズ株式会社
Thu 19th 12:00-17:00 Conference Center 3F ［303］
欧州自動車業界における静的解析ツールの最新活用事例（仮）※通訳あり
Steve HowardRogue Wave Software, Inc. Sales Engineer
Runtime Verifi cation技術が可能にする割込み干渉検証
玉置 卓也丸紅情報システムズ株式会社 製造ソリューション事業本部 事業企画部 副部長
Detecting Low-Level Code Errors Using Runtime Verification
Grigore RosuProfessor at the University of Illinois at Urbana-Champaign and President and CEO at Runtime Verification. Inc
Detecting Low-Level Code Errors using RV-Match and RV-Predict
Philip DaianRuntime Verification. Inc. The Lead Software Engineer
- KKeynote Session
- SSpecial Lecture
- IInvited Lecture
- PPanel Session
- TSET Technical Session
- TSIIoT Technical Session
- ASAnalog Upskilling Track
- DVTDesign and Verification Tool Track
- EDA-LPBEDA-LPB Track
- HDHardware Track
- PDProgrammable Devices Track
- IoTIoT Track
- RTRobotics Session
- CSpecial Session
- SSSponsor Session
- JGJASA Technical Seminar
- JFJASA Global Forum 2015
- GGStudy Session
- IPAIPA Seminar
- MMMulti Manycore Seminar 2015
- ROET Robocon Modeling Workshop
- Private Conference
- ABAlliance Business Meeting
